Trouble building l4linux

Adam Lackorzynski adam at os.inf.tu-dresden.de
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: http://wiki.tudos.org/L4Linux/build .
> 
> 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                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/



More information about the l4-hackers mailing list