Metapackage for downloading build dependencies for the seL4 microkernel


License
BSD-3-Clause-Attribution
Install
pip install sel4-deps==0.3.1