“An educational monolithic kernel designed to be Linux-compatible at binary level.”
Tilck runs mainstream Linux programs like BusyBox without any custom-written userspace applications, boots in 3MB of memory, and targets both i686 and RISCV64. Most educational kernels require you to write your own programs to test anything. This one lets you run the same binaries on Tilck and Linux side by side for comparison, which makes it genuinely useful for learning kernel development instead of just another toy OS. The project also hints at embedded systems potential, filling the gap between full Embedded Linux and bare-metal RTOS. BSD-2-Clause licensed.