28 Oct
2014
28 Oct
'14
2:36 p.m.
When I try to compile L4Linux on genode, I get the following error:
repos/ports-foc/src/server/balloon/main.cc:1:45: 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?