L4Linux + Ubuntu

Sai Prajeeth csprajeeth at gmail.com
Sun Mar 30 12:36:18 CEST 2014

I want to replace the standard Linux kernel on my Ubuntu Distro (12.04LTS)
with the L4Linux kernel. Is this possible? If yes can someone give me an
outline as to how to proceed?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140330/a701bdc1/attachment.html>

More information about the l4-hackers mailing list