seL4 / seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
13 stars 40 forks source link

Remove internal builds #38

Closed lsf37 closed 3 years ago

lsf37 commented 3 years ago

These were used in TS for Bamboo in the past. Bamboo is now defunct and the new GitHub CI adds its own requirement on top of these images instead of inside.

This is the first step in porting build and deployment of the docker images to GitHub CI.