Theo Koulouris's starred repositories
linux-okernel
Split kernel using extended page tables to provided kernel memory protection
linux-okernel-components
Okernel userspace components and supporting material
Split kernel using extended page tables to provided kernel memory protection
Okernel userspace components and supporting material