New versions released on 2012 are very interesting:
http://genode.org/documentation/release-notes/12.02
http://genode.org/documentation/release-notes/12.05
http://genode.org/documentation/release-notes/12.08

The latest release claims to run on ARM Hw without an underlying kernel.