Description
seL4 microkernel build environments can receive the Python-side dependency set expected by related tooling. Developers working on seL4 can install this metapackage to pull together required build helpers instead of selecting them one by one. It is dependency metadata and does not provide an application itself.