Now open source and supporting ARM and x86 architectures. Now THIS would be fun to play with on the DragonBox Pyra... http://sel4.systems/