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

[Nourhan Mohamed]

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

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