Hi,

On 03/10/2013 02:36 PM, yuqing wang wrote:

> 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

For this run script, the Genode's PCI driver doesn't get enough of
memory. Looking for "pci_drv" in 'ports-foc/run/l4linux.run' and
changing the 'RAM' quantum from 1 to 2M should fix the issue.

Please note: In this example you will see the L4Linux output on the
visible serial console, Fiasco's and Genode's log message will go the
'kdb.log' file located within the directory where you executed the 'make
run/l4linux' command.

Regards,

Sebastian



--
Sebastian Sumpf
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

------------------------------------------------------------------------------
Symantec Endpoint Protection 12 positioned as A LEADER in The Forrester
Wave(TM): Endpoint Security, Q1 2013 and "remains a good choice" in the
endpoint security space. For insight on selecting the right partner to
tackle endpoint security challenges, access the full report.
http://p.sf.net/sfu/symantec-dev2dev
_______________________________________________
Genode-main mailing list
Genode-main@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main