seL4 / seL4

The seL4 microkernel

redox-os / kernel

Mirror of https://gitlab.redox-os.org/redox-os/kernel

seL4 / l4v

seL4 specification and proofs

redox-os / redox

Mirror of https://gitlab.redox-os.org/redox-os/redox