Genode Aims To Produce A General Purpose OS
Phoronix: Genode Aims To Produce A General Purpose OS
2012 could be an especially interesting year for open-source software with continued advancements in the area of open-source drivers, prominent announcements, major software releases like GIMP 2.8 and Ubuntu 12.04 LTS, and much more. Another event to look forward to next year is a new operating system release built atop the unique Genode Operating System Framework...
Note that the Linux kernel they can run is 32 bits for now
They can run the Linux kernel as a process but the only kernel that will compile (at least in the last version) is 32 bits. One interesting thing is that the drivers run in userspace and there are facilities to use the driver code from Linux. If you haven't already check out the Live demo iso.
Genode is interesting cause you won't need the Linux kernel anymore and it's more secure (at least in theory).