25 Nov
2012
25 Nov
'12
3:18 p.m.
On 23.11.2012, at 08:18, OSDepend wrote:
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?
You may have a look at the Karma VMM (www.karma-vmm.org).
Matthias.
Every feedbacks or documention links are appreciated! :>
Best, Chen
2012-11-23 zhengc _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
--
Dipl.-Inf. Matthias Lange mlange@sec.t-labs.tu-berlin.de
Security in Telecommunications
TU Berlin / Deutsche Telekom Laboratories
Ernst-Reuter-Platz 7, 10587 Berlin
Phone: +49 - 30 - 8353 58 553
Mobile: +49 - 160 - 587 28 07
Web: http://www.fgsect.de