Metapackage for downloading build dependencies for the seL4 microkernel
Homepage PyPI
pip install sel4-deps==0.5.0
Login to resync this project