Error when wompiling L4Linux

Nobody III hungryninja101 at ...9...
Tue Oct 28 15:36:40 CET 2014

When I try to compile L4Linux on genode, I get the following error:

repos/ports-foc/src/server/balloon/ fatal error:
balloon_session/balloon_session.h: No such file or directory

It seems that L4Linux is targetting a file that used to exist but doesn't
anymore. Can somebody who knows enough about genode fix this?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list