Tilck
A Tiny Linux-Compatible Kernel
...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. It includes its own bootloader and supports integration with existing ones like GRUB, making it flexible for experimentation.