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?