<div dir="ltr"><div><div><div><div><div>I fix the issus, now the l4linux can run successfully.<br></div>I think it is somthing wrong with my network fisrt, but I am wrong.I just make a mistake when I prepare something for compiling. <br>
</div>When I wanted to run l4linux, i followed the step according to the file:<dir>/genode/base-foc/doc/foc.txt.Which says:<br><br> The run script depends on an 'initrd.gz' archive,which has to reside in 'bin' in your build directory. You can find an example initramfs here:<br>
:[<a href="http://genode.org/files/release-11.05/l4lx/x86/initrd.gz">http://genode.org/files/release-11.05/l4lx/x86/initrd.gz</a>]:<br>  Initramfs archive for X86<br><br></div>I downloaded the "initrd.gz" file manually and put it into /bin  in my build directory.But the run script has the following code:<br>
<br>if {[have_spec x86]} {<br>    set uri "<a href="http://genode.org/files/release-11.11/l4lx/initrd-ia32.gz">http://genode.org/files/release-11.11/l4lx/initrd-ia32.gz</a>"<br>} elseif {[have_spec arm]} {<br>    set uri "<a href="http://genode.org/files/release-11.11/l4lx/initrd-arm.gz">http://genode.org/files/release-11.11/l4lx/initrd-arm.gz</a>"<br>
}<br>if {![file exists bin/initrd.gz]} {<br>    puts "Download initramfs ..."<br>    exec >& /dev/null wget -c -O bin/initrd.gz $uri<br>}<br><br></div>The "initrd" file source is not same with the one I downloaded manually.I delete the old one,so the l4linux can run successfully.<br>
</div>Regards<br></div>