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.