SOS

Static Operating System (SOS) is a microkernel that runs in privillege mode
aiming to be simple, deterministic and without dynamic memory allocation.