You may have a look at the Karma VMM (www.karma-vmm.org).Are there any avaliable Applications or Projects directly on the L4Re but not depending On L4Linux? Like gcc or other app? If existed, can we can directly bulild some application or tools after boot L4 microkernel?
Every feedbacks or documention links are appreciated! :>Best,Chen2012-11-23_______________________________________________zhengc
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers