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
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
Hi Sebastian, Thank you for your advice. I change the pci_drv RAM quantum from 1 to 2M,it does not work. I check the run script,I find this:
# # Execute test case # run_genode_until {.*/ #.*} 220
# Wait for network to settle down send "sleep 5\n" send "wget http://genode.org/%5Cn"
expect { -re "Connecting to genode.org.*index.html.*/ #.*" { } timeout { puts stderr "Error: Test execution timed out"; exit -2 } }
I have got the message "Test execution timed out" ,so I guess maybe it is something wrong with my network setting. I run the Qemu command directly in terminal,the system starts and it hangs when these messages are shown:
[init -> nic_drv] upgrading quota donation for SIGNAL session [init -> nic_drv] --- init iPXE NIC [init -> timer] args='label="nic_drv", ram_quota=4096' [init -> nic_drv] scan_pci(): Found: 00:03.0 8086:100e (rev 03) IRQ 0b [init -> nic_drv] probe_pci_device(): using driver 82540em [init -> nic_drv] adjust_pci_device(): PCI BIOS has not enabled device 00:03.0! Updating PCI command 0103->0107 [init -> nic_drv] adjust_pci_device(): PCI device 00:03.0 latency timer is unreasonably low at 0. Setting to 32. [init -> nic_drv] ioremap(): bus_addr = feba0000 len = 20000 [init -> nic_drv] snprintf not implemented [init -> nic_drv] number of devices: 1 [init -> nic_drv] --- init rx_callbacks [init -> nic_drv] --- get MAC address [init -> nic_drv] 52:54:00:12:34:56
I will try to fix this today. Regards
2013/3/11 Sebastian Sumpf <Sebastian.Sumpf@...1...>
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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
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
Hi,
thanks for the hint. I've opened an issue for this documentation bug in our issue tracker: https://github.com/genodelabs/genode/issues/686
Regards Stefan
On 03/12/2013 09:03 AM, yuqing wang wrote:
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
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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
-
Sebastian Sumpf -
Stefan Kalkowski -
yuqing wang