I fix the issus, now the l4linux can run successfully. 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. When I wanted to run l4linux, i followed the step according to the file:<dir>/genode/base-foc/doc/foc.txt.Which says:
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: :[http://genode.org/files/release-11.05/l4lx/x86/initrd.gz]: Initramfs archive for X86
I downloaded the "initrd.gz" file manually and put it into /bin in my build directory.But the run script has the following code:
if {[have_spec x86]} { set uri "http://genode.org/files/release-11.11/l4lx/initrd-ia32.gz" } elseif {[have_spec arm]} { set uri "http://genode.org/files/release-11.11/l4lx/initrd-arm.gz" } if {![file exists bin/initrd.gz]} { puts "Download initramfs ..." exec >& /dev/null wget -c -O bin/initrd.gz $uri }
The "initrd" file source is not same with the one I downloaded manually.I delete the old one,so the l4linux can run successfully. Regards