Cannot determine L4 source directory

eric van tassell evttxl at gmail.com
Sun Jan 16 04:36:53 CET 2011


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20110115/cfd1fb06/attachment.html>


More information about the l4-hackers mailing list