Hacker News Reader

Sadly, neither JNode (Java) nor House (Haskell) look very active. I keep thinking I should start something though I'm sure there are hundreds of embryonic kernels out there already.

Here you go: http://en.wikipedia.org/wiki/Inferno_operating_system

SqueakNOS? http://wiki.squeak.org/squeak/1762

> I particularly would like to see operating systems implemented using JIT compilation and software isolation. Managed code running safely on the ring0 of the processor.

Lisp Machines were arguably like this, except with microcode instead of JIT. AS/400 (IBM midrange systems, now called System i) does something like this as well, except the whole program is compiled from bytecode to machine code on first run, or whenever the bytecode on disk is newer than the machine code on disk.

The biggest change is that you have either a trusted compiler, a garbage collector in the kernel, or both.