The seL4 microkernel https://sel4.systems/
Adam Felizzi 4c265f369e Kbuild: Removed autoconf files 5 months ago
..
ARM_HYP_verified.cmake tk1: Rename platform names from jetson to tk1 11 months ago
ARM_verified.cmake Use prefix consistent with proof tools for verified configurations 1 year ago
RISCV64_verified.cmake Use correct verification name 7 months ago
X64_verified.cmake Add verified configuration for x64 1 year ago