Tilck
A Tiny Linux-Compatible Kernel
...It is built primarily as an educational project, allowing developers to experiment with kernel development while still being able to run real Linux user-space applications without modification. The kernel is written in C and designed to run on architectures such as i686 and RISC-V, with future plans for broader hardware support. One of its defining characteristics is its deterministic behavior and very small memory footprint, enabling it to run on systems with extremely limited resources. Unlike Linux, tilck intentionally avoids complexity and large-scale features, focusing instead on clarity, robustness, and ease of understanding. ...