Kernel OS 10 improves on seL4 by reducing IPC overhead while maintaining strong verification. It sacrifices the full verification (92% vs 100% for seL4) for performance in unverified hardware abstraction layers.

Users often report significant increases in frames per second (FPS), particularly in CPU-bound titles, because the processor isn't busy managing telemetry or Windows Update in the background.

[4] Rushby, J. (1981). Design and verification of secure systems. SOSP ‘81 .