Cannot determine L4 source directory

Adam Lackorzynski adam at os.inf.tu-dresden.de
Sun Jan 16 17:19:18 CET 2011


On Sat Jan 15, 2011 at 21:36:53 -0600, eric van tassell wrote:
> I've built L4Re and Fiasco without error but get the message below trying to
> build L4Linux. Does this indicate that CONFIG_L4_OBJ_TREE is set improperly?
> What should it point to?

Yes, set it to /path/to/l4/out

> My directory structure looks like
> 
> $ROOT
>     /kernel
>         /out #build dir
>     /l4
>         /l4/out
>     /l4linux
>         /l4linux/out
> 
> 
> ERROR:
>     Cannot determine L4 source directory
>     Please properly set the path to your L4 build directory
>     in the configuration menu.
> 
> make[2]: *** [/home/evt/wrk/L4/TUD/forest1/src/l4linux/out/Makeconf.l4conf]
> Error 1


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