lux microkernel
A portable, minimalist microkernel written from scratch for x86_64 and ARM64. It features a preemptive multiprocessor scheduler, asynchronous I/O, and a Unix-like API, all implemented in under 5,000 lines of code to minimize software bloat.