Comment by eleitl

I would rather see a hand-optimized version of L4, packaged with a kernel for Debian.

Or an OS written in Forth.