search

seL4 / seL4-CAmkES-L4v-dockerfiles

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

docker: use -slim base image for debian #71

Closed lsf37 closed 7 months ago

lsf37 commented 7 months ago

The hope is to reduce image size. This might need further adjustments to explicitly include packages that were implicit before.

lsf37 commented 7 months ago

This is ready to review now. It does seem to reduce the image size of the l4v image at least by another 4GB. I haven't done extensive testing, but the basics seem to work. We'll see if CI finds anything when it is deployed.

lsf37 commented 7 months ago

Interesting. Maybe we were drawing in a lot of language support stuff before that is now not there.