Tilck is an educational monolithic x86 kernel designed to be Linux-compatible at binary level. Project's small-scale and simple design makes it the perfect playground for playing in kernel mode while retaining the ability to compare how the very same usermode bits run on the Linux kernel as well. That's a unique feature in the realm of educational kernels. Because of that, building a program for Tilck requires just a i686-musl toolchain from bootlin.com.

Found on Leah Neukirchen's blog https://leahneukirchen.org/trivium/2021-08-15