[Beginner] Running L4Linux as a Server above Fiasco.OC

Nourhan Mohamed nourhan.abdeltawab at ...9...
Mon Jan 4 13:33:20 CET 2016

Dear all,

I was trying to run l4linux as a server above Fiasco.OC using the
Features>Make Linux as Server from the l4linux menuconfig in foc_pbxa9
build folder. However, the compilation terminates with error because it
can't see some header file. Any ideas what might have gone wrong

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20160104/8ded8986/attachment.html>

More information about the users mailing list