hi
i want to get the l4linux running.i followed the step according to source tree file --genode/base-foc/doc/foc.txt.i did make prepare in 'ports-foc' and 'dde_ipxe' repository in genode source tree. i edited the 'etc/build.conf' file in my build directory,and uncomment the following line :
REPOSITORIES += $(GENODE_DIR)/dde_ipxe
REPOSITORIES += $(GENODE_DIR)/ports-foc
i downloaded the 'inird.gz' file and resided it in 'bin' in my build directory.
i thought i did everything well, but when i make run/l4linx ,there comes a issue,here is the message:

using run script /home/wangyuqing/下载/genode/base-foc/run/env
using run script /home/wangyuqing/下载/genode/ports-foc/run/l4linux.run
building targets: core init drivers/timer drivers/uart drivers/framebuffer l4linux drivers/nic drivers/pci drivers/input/ps2
spawn make core init drivers/timer drivers/uart drivers/framebuffer l4linux drivers/nic drivers/pci drivers/input/ps2
make[1]: 正在进入目录 `/home/wangyuqing/下载/genode_focx86_builddir'
checking library dependencies...
Skip target core/arndale because it requires arm foc_arndale
Skip target core/imx53 because it requires arm foc_imx53
Skip target core/panda because it requires arm foc_panda
Skip target core/pbxa9 because it requires arm foc_pbxa9
Skip target core/vea9x4 because it requires arm foc_vea9x4
Skip target drivers/framebuffer/fiasco_ux because it requires fiasco
Skip target drivers/framebuffer/omap4 because it requires omap4
Skip target drivers/framebuffer/pl11x/pbxa9 because it requires pl11x platform_pbxa9
Skip target drivers/framebuffer/pl11x/vea9x4 because it requires pl11x platform_vea9x4
Skip target drivers/framebuffer/pl11x/vpb926 because it requires pl11x platform_vpb926
Skip target drivers/framebuffer/sdl because it requires linux sdl
Skip target drivers/input/ps2/pl050 because it requires pl050
Skip target drivers/nic/lan9118 because it requires lan9118
Skip target drivers/nic/linux because it requires linux
Skip target drivers/pci/device_pd because it requires nova
Skip target drivers/uart/omap4 because it requires omap4
Skip target drivers/uart/pl011 because it requires pl011
Skip target l4linux/arm because it requires arm
  Program drivers/framebuffer/pl11x/
  Library platform
  Library cxx
  Library syscall
  Library startup
  Library base-common
  Library base
  Library blit
  Program drivers/framebuffer/vesa/vesa_drv
  Program drivers/input/ps2/x86/ps2_drv
  Library alarm
  Library dde_kit
  Library dde_ipxe_support
  Library dde_ipxe_nic
  Program drivers/nic/nic_drv
  Program drivers/pci/x86/pci_drv
  Library timer
  Program drivers/timer/timer
  Program drivers/uart/i8250/uart_drv
  Library init_pd_args
  Program init/init
  Library l4lx
  Library l4sys
  Program l4linux/x86_32/vmlinux
make[6]: 没有什么可以做的为 `all'。
===============================================
  For quick build instructions, please visit:
    http://wiki.tudos.org/Quickstart
    http://l4linux.org/build.shtml
===============================================
make[6]: 没有什么可以做的为 `all'。
  Using /home/wangyuqing/下载/genode/ports-foc/contrib/l4linux as source for kernel
  GEN     /home/wangyuqing/下载/genode_focx86_builddir/l4linux/Makefile
  CHK     include/linux/version.h
  CHK     include/generated/utsrelease.h
  CALL    /home/wangyuqing/下载/genode/ports-foc/contrib/l4linux/scripts/checksyscalls.sh
  CHK     include/generated/compile.h
  LINK    vmlinux
  LD      vmlinux.o
  MODPOST vmlinux.o
WARNING: modpost: Found 2 section mismatch(es).
To see full details build your kernel with:
'make CONFIG_DEBUG_SECTION_MISMATCH=y'
  GEN     .version
  CHK     include/generated/compile.h
  UPD     include/generated/compile.h
  CC      init/version.o
  LD      init/built-in.o
  KSYM    .tmp_kallsyms1.o
  KSYM    .tmp_kallsyms2.o
  LD      vmlinux
  SORTEX  vmlinux
sort done marker at 399e58
  SYSMAP  System.map
  OBJCOPY arch/l4/boot/Image
  Kernel: arch/l4/boot/Image is ready
  Building modules, stage 2.
  MODPOST 98 modules
WARNING: modpost: Found 1 section mismatch(es).
To see full details build your kernel with:
'make CONFIG_DEBUG_SECTION_MISMATCH=y'
  Program core/x86/core
make[1]:正在离开目录 `/home/wangyuqing/下载/genode_focx86_builddir'
genode build completed
using fiasco kernel /home/wangyuqing/下载/genode_focx86_builddir/kernel/fiasco.oc/fiasco
using sigma0/bootstrap at /home/wangyuqing/下载/genode_focx86_builddir/l4
creating ISO image...
spawn qemu-system-i386 -no-kvm -m 128 -nographic -serial file:kdb.log -serial mon:stdio -smp 2,cores=2 -net nic,model=e1000 -net user -cdrom var/run/l4linux.iso
Error: Test execution timed out
make: *** [run/l4linux] 错误 254

how can i fix it
Regards