Skip to content
C

core-supervisor

The UX/RT core supervisor, which includes the seL4 microkernel, as well as proc and libroot