search

seL4 / docs

This is the source of the seL4 docs.
https://docs.sel4.systems
16 stars 52 forks source link

docker: clean up python dependencies #261

Closed lsf37 closed 3 months ago

lsf37 commented 3 months ago

All required python dependencies should be part of camkes-deps (which includes sel4-deps). If they are not, these packages should be updated.

lsf37 commented 3 months ago

We should merge https://github.com/seL4/sel4-tutorials/pull/107 first, which should fix the site build error.