Você pode conferir o BareMetal OS, com seu exokernel BareMetal totalmente escrito em assembly, fornece um único processo com recursos multi-core e mapeamento direto de memória, x86_64 apenas com pequena pegada.
Interrupções de kernel para interação do usuário e APIs para programação em C.
Se você curte coisas de hardcore, quer ver isso.