search

seL4 / seL4-CAmkES-L4v-dockerfiles

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

Remove python2 from base_tools.sh #64

Closed andybui01 closed 1 year ago

andybui01 commented 1 year ago

python-is-python2 provides python in apt and installs python2 dependencies, which we no longer need.

See: https://github.com/seL4/docs/pull/188