@joxean tilck, seL4 or the Firefly Kernel might fit the bill?
https://github.com/vvaltchev/tilck
https://github.com/seL4/seL4
https://github.com/FireflyOS/Firefly-Kernel
#tilck #seL4 #tinyKernel #FireflyOS
A Tiny Linux-Compatible Kernel. Contribute to vvaltchev/tilck development by creating an account on GitHub.
aegilops