Suggest updating to a more recent base.

seL4 / seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

12 stars 39 forks source link

Suggest updating to a more recent base. #68

Open wom-bat opened 7 months ago

wom-bat commented 7 months ago

The Dockerfiles are currently based on Debian Bullseye, which is the old stable release.

I'd suggest providing an alternate branch for trixie (the release that is due this year) to be ready for it when it comes. Then we can (finally) get rid of python 2.