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? 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 -- - evt (Eric van Tassell) twitter: evt_texelsoft linked-in: linkedin.com/in/evttxl
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@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/
participants (2)
-
Adam Lackorzynski -
eric van tassell