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?
------------------------------------------------------------------------------
_______________________________________________ genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
