Annotating the kernel to prevent exploits
Posted Nov 19, 2012 22:39 UTC (Mon) by vonbrand
In reply to: Annotating the kernel to prevent exploits
Parent article: Attacking hardened Linux systems with kernel JIT spraying
The seL4 is a microkernel, of which some 7500 lines of C code have been verified rigurously (assuming the compiler and the underlying machine are correct). That is many, many orders of magnitude away from even the most spartan Linux configuration.
to post comments)