seL4
nspin
Arm Research