I&#39;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?<div>My directory structure looks like</div>
<div><br></div><div>$ROOT</div><div>    /kernel</div><div><meta http-equiv="content-type" content="text/html; charset=utf-8">    <meta http-equiv="content-type" content="text/html; charset=utf-8">    /out #build dir</div>
<div><meta http-equiv="content-type" content="text/html; charset=utf-8">    /l4</div><div><meta http-equiv="content-type" content="text/html; charset=utf-8">    <meta http-equiv="content-type" content="text/html; charset=utf-8">    /l4/out</div>
<div><meta http-equiv="content-type" content="text/html; charset=utf-8">    /l4linux</div><div><meta http-equiv="content-type" content="text/html; charset=utf-8">    <meta http-equiv="content-type" content="text/html; charset=utf-8">    /l4linux/out<br>
<div><br></div><div><br></div><div><div>ERROR:</div><div>    Cannot determine L4 source directory</div><div>    Please properly set the path to your L4 build directory</div><div>    in the configuration menu.</div><div><br>
</div><div>make[2]: *** [/home/evt/wrk/L4/TUD/forest1/src/l4linux/out/Makeconf.l4conf] Error 1</div><div><br></div><br>-- <br>- evt<br>(Eric van Tassell)<br>twitter: evt_texelsoft<br>linked-in: <a href="http://linkedin.com/in/evttxl">linkedin.com/in/evttxl</a><br>

</div></div>