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