Trouble building l4linux
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: ***
> [/home/osj/l4/l4linux_bld/Makeconf.l4conf] Error 1
> make: *** No rule for creating the target
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 os.inf.tu-dresden.de
More information about the l4-hackers