[shevy-java]

Yay! Take that, Minix and GNU Hurd! \o/

[Rochus]

Ironclad isn't a microkernel, is it? At least the device drivers, file system and network stack seem to run in kernel space. I didn't find any strong architectural hints pointing to microkernel design in the implementation so far.