Trouble building l4linux

Adam Lackorzynski adam at
Tue Jun 10 22:59:56 CEST 2014

On Sun Jun 08, 2014 at 10:44:32 +0200, Sören Jonsson wrote:
> I have successfully built L4Fiasco and L4Re, and tested it by running the
> hello test program under quemu. After that I attempted to build L4linux,
> using instructions from this site: .
> Unfortunately, when I came to the stage of "make O=/home/osj/l4linux_bld/" I
> get an error message "make[2]: ***
> [/home/osj/l4/l4linux_bld/Makeconf.l4conf] Error 1
> make[1]: *** No rule for creating the target
> "/home/osj/l4/l4linux_bld/Makeconf.l4conf"

Is there a .config file in /home/osj/l4/l4linux_bld? That would be
generated by a preceding make O=... ...config run.

Adam                 adam at

More information about the l4-hackers mailing list