Reverse Dependencies of sel4-deps

The following projects have a declared dependency on sel4-deps:

• camkes-deps — Metapackage for downloading build dependencies for CAmkES