There is no folder as bootstrap<br><br><div><span class="gmail_quote">On 5/11/06, <b class="gmail_sendername">Bjoern Doebel</b> &lt;<a href="mailto:doebel@os.inf.tu-dresden.de">doebel@os.inf.tu-dresden.de</a>&gt; wrote:</span>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Hi,<br><br>&gt; I tried to locate the bootstrap file and i got this much entry<br>&gt; [..]<br>
<br>Please check out l4/pkg/bootstrap and build it.<br><br>Bjoern<br></blockquote></div><br>