users

users@lists.genode.org

1 participants
2310 discussions

L4Linux for Genode
by unknown＠example.com 25 May '11

25 May '11

Hi, I have tried to go through building process of L4linux for Genode. I have made Demo. It is OK. Next, I have built L4Linux for Genode with initrd.gz from demo CD. But kernel stops with segmentation fault. What is wrong? Thanks, Yuri. =================================================================================================== KIP @ 400000 magic: 4be6344c version: 87004444 sigma0 esp: 002dba48 eip: 001000fc sigma1 esp: 00000000 eip: 00000000 root esp: 00000000 eip: 0017b7cc MBI @ 2dc000 mod[3] [11fa000,11fa3df) config mod[4] [11fb000,12313f4) init mod[5] [1232000,125c6d8) pci_drv mod[6] [125d000,1282c60) timer mod[7] [1283000,12cc424) vesa_drv mod[8] [12cd000,12f8ec8) ps2_drv mod[9] [12f9000,1630d68) vmlinux mod[10] [1631000,186d400) initrd.gz :ram_alloc: Allocator 192604 dump: Block: [00001000,0009f000) size=0009e000 avail=0009e000 max_avail=0009e000 Block: [0010c000,0010c01c) size=0000001c avail=00000000 max_avail=0009e000 Block: [0010c01c,0010c038) size=0000001c avail=00000000 max_avail=00000000 Block: [0010c038,0010c054) size=0000001c avail=00000000 max_avail=0009e000 Block: [0010c054,0010c070) size=0000001c avail=00000000 max_avail=00000000 Block: [0010c070,0010c08c) size=0000001c avail=00000000 max_avail=00033f58 Block: [0010c08c,0010c0a8) size=0000001c avail=00000000 max_avail=00000000 Block: [0010c0a8,00140000) size=00033f58 avail=00033f58 max_avail=00033f58 Block: [001a8000,001a801c) size=0000001c avail=00000000 max_avail=1bea1000 Block: [001a801c,001a8038) size=0000001c avail=00000000 max_avail=00000000 Block: [001a8038,002dc000) size=00133fc8 avail=00133fc8 max_avail=00133fc8 Block: [002dd000,002dd01c) size=0000001c avail=00000000 max_avail=1bea1000 Block: [002dd01c,00400000) size=00122fe4 avail=00122fe4 max_avail=00122fe4 Block: [00465000,011fa000) size=00d95000 avail=00d95000 max_avail=1bea1000 Block: [0186e000,1d70f000) size=1bea1000 avail=1bea1000 max_avail=1bea1000 => mem_size=485879808 (463 MB) / mem_avail=485879556 (463 MB) :region_alloc: Allocator 193774 dump: Block: [0009f000,0010c000) size=0006d000 avail=0006d000 max_avail=0006d000 Block: [00401000,00465000) size=00064000 avail=00064000 max_avail=70000000 Block: [1d70f000,40000000) size=228f1000 avail=228f1000 max_avail=70000000 Block: [50000000,c0000000) size=70000000 avail=70000000 max_avail=70000000 => mem_size=2459705344 (2345 MB) / mem_avail=2459705344 (2345 MB) :io_mem: Allocator 192a60 dump: Block: [00000000,00001000) size=00001000 avail=00001000 max_avail=00001000 Block: [0009f000,0010c000) size=0006d000 avail=0006d000 max_avail=0006d000 Block: [00401000,00465000) size=00064000 avail=00064000 max_avail=e28f0fff Block: [1d70f000,ffffffff) size=e28f0fff avail=e28f0fff max_avail=e28f0fff => mem_size=3801886719 (3625 MB) / mem_avail=3801886719 (3625 MB) :io_port: Allocator 192ebc dump: Block: [00000000,00010000) size=00010000 avail=00010000 max_avail=00010000 => mem_size=65536 (0 MB) / mem_avail=65536 (0 MB) :irq: Allocator 193318 dump: Block: [00000000,00000010) size=00000010 avail=00000010 max_avail=00000010 => mem_size=16 (0 MB) / mem_avail=16 (0 MB) :rom_fs: Rom_fs 193bb8 dump: Rom: [01232000,0125c6d8) pci_drv Rom: [011fb000,012313f4) init Rom: [011fa000,011fa3df) config Rom: [00400000,00401000) kip Rom: [01631000,0186d400) initrd.gz Rom: [00400000,00401000) l4v2_kip Rom: [0125d000,01282c60) timer Rom: [012cd000,012f8ec8) ps2_drv Rom: [01283000,012cc424) vesa_drv Rom: [012f9000,01630d68) vmlinux :core ranges: Allocator 1945fc dump: Block: [00001000,0009f000) size=0009e000 avail=0009e000 max_avail=0009e000 Block: [0010c000,002dc000) size=001d0000 avail=001d0000 max_avail=001d0000 Block: [002dd000,00400000) size=00123000 avail=00123000 max_avail=1d2aa000 Block: [00465000,1d70f000) size=1d2aa000 avail=1d2aa000 max_avail=1d2aa000 => mem_size=493072384 (470 MB) / mem_avail=493072384 (470 MB) int main(): --- create local services --- int main(): --- start init --- int main(): transferred 463 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open file "ldso" [init -> ps2_drv] Detected ExPS/2 mouse - activating scroll-wheel and 5-button support. [init -> ps2_drv] Using keyboard with scan code set 1 (xlate). [init -> pci_drv] PCI driver started [init -> vmlinux] Region map: [init -> vmlinux] 0x00000000 - 0x00001000 [reserved] [init -> vmlinux] 0x00001000 - 0x00005000 [unused] [init -> vmlinux] 0x00005000 - 0x00006000 [KIP] [init -> vmlinux] 0x00006000 - 0x00400000 [unused] [init -> vmlinux] 0x00400000 - 0x007aa000 [Binary] [init -> vmlinux] 0x007aa000 - 0x40000000 [unused] [init -> vmlinux] 0x40000000 - 0x50000000 [Thread Context Area] [init -> vmlinux] 0x50000000 - 0xffffffff [unused] [init -> vmlinux] ======> L4Linux 2.6 starting... <======== [init -> vmlinux] Linux version 2.6.37-l4+ (gg@...74...) (gcc version 4.4.5 (GCC) ) #46 Fri May 20 12:36:54 MSD 2011 [init -> vmlinux] Binary name: vmlinux [init -> vmlinux] Linux kernel command line (3 args): mem=128M l4x_rd=initrd.gz text [init -> vmlinux] CPU mapping (l:p)[1]: 0:0 [init -> vmlinux] Image: 00401000 - 007aa000 [3748 KiB]. [init -> vmlinux] Areas: Text: 00401000 - 006da000 [2916kB] (a bit longer) [init -> vmlinux] Data: 006da000 - 006f94c4 [125kB] [init -> vmlinux] Initdata: 00702000 - 0072c000 [168kB] [init -> vmlinux] BSS: 0072c000 - 00799350 [436kB] [init -> vmlinux] l4util_cpu_capabilities: Not implemented yet! [init -> vmlinux] gs=43 fs=43 [init -> vmlinux] l4io_get_root_device: Not implemented yet! [init -> vmlinux] Device scan: [init -> vmlinux] l4io_iterate_devices: Not implemented yet! [init -> vmlinux] l4x_fiasco_gdt_entry_offset = 9 [init -> vmlinux] l4lx_thread_name_set: Not implemented yet! [init -> vmlinux] main thread will be c [init -> vmlinux] l4x_register_pointer_section: addr = 00400000 size = 3842048 [init -> vmlinux] section-with-init: virt: 400000 to 7a9fff [3752 KiB] [init -> vmlinux] Cannot determine physical address for dataspace Binary! [init -> vmlinux] error: failed to get physical address for 400000. [init -> vmlinux] l4x_linux_startup: thread c. [init -> vmlinux] main thread: received startup message. [init -> vmlinux] thread=c000 cpu=0 [init -> vmlinux] utcb bff00200 [init -> vmlinux] l4x_setup_memory: Forcing superpages for main memory [init -> vmlinux] Main thread running, waiting... [init -> vmlinux] Main memory size: 128MB unmapping of managed dataspaces not yet supported [init -> vmlinux] Main memory: virt: 8000000 to fffffff [131072 KiB] [init -> vmlinux] Main memory: Phys: 0x0186e000 to 0x0986e000, Size: 134217728 [init -> vmlinux] Filling lower ptabs... [init -> vmlinux] Done (0 entries). [init -> vmlinux] l4x_register_pointer_section: addr = 00400000 size = 3842048 [init -> vmlinux] end: virt: 400000 to 7a9fff [3752 KiB] [init -> vmlinux] Cannot determine physical address for dataspace Binary! [init -> vmlinux] error: failed to get physical address for 400000. [init -> vmlinux] l4x_rd_path: initrd.gz [init -> vmlinux] Loading: initrd.gz [init -> vmlinux] INITRD: Size of RAMdisk is 2292KiB [init -> vmlinux] RAMdisk from 007aa000 to 009e7000 [2292KiB] [init -> vesa_drv] Could not open file "config" [init -> vesa_drv] Could not obtain config file [init -> vesa_drv] Found: VESA BIOS version 2.0 [init -> vesa_drv] OEM: VGABIOS Cirrus extension [init -> vesa_drv] Found: physical frame buffer at 0xf0000000 size: 0x00400000 [init -> vmlinux] L4 serial driver [init -> vmlinux] cpu0: segfault for init(1) [T:1cc] at 9150a784, ip=b7426021, pferror = 4 [init -> vmlinux] 08048000 - 080c3000 r-xp 00000 /bin/busybox [init -> vmlinux] 080c3000 - 080c4000 rw-p 0007a /bin/busybox [init -> vmlinux] 080c4000 - 080c6000 rw-p [init -> vmlinux] b72cc000 - b72cd000 rw-p [init -> vmlinux] b72cd000 - b7424000 r-xp 00000 /lib/libc-2.9.so [init -> vmlinux] b7424000 - b7425000 r--p 00157 /lib/libc-2.9.so [init -> vmlinux] b7425000 - b7427000 rw-p 00158 /lib/libc-2.9.so [init -> vmlinux] b7427000 - b742a000 rw-p [init -> vmlinux] b742a000 - b744e000 r-xp 00000 /lib/libm-2.9.so [init -> vmlinux] b744e000 - b7450000 rw-p 00023 /lib/libm-2.9.so [init -> vmlinux] b7450000 - b7451000 rw-p [init -> vmlinux] b7451000 - b7452000 r-xp [init -> vmlinux] b7452000 - b7471000 r-xp 00000 /lib/ld-2.9.so [init -> vmlinux] b7471000 - b7473000 rw-p 0001e /lib/ld-2.9.so [init -> vmlinux] bf4d5000 - bf4f7000 rw-p --------------------------------------------------------------------- CPU 0 [00404160]: segfault [ cpu0] jdb: expect: spawn id exp6 not open while executing "expect { -re $wait_for_re { } timeout { puts stderr "Error: Test execution timed out"; exit -2 } }" (procedure "run_genode_until" line 10) invoked from within "run_genode_until forever" (file "/home/gg/src/genode/ports-foc/run/l4linux.run" line 81) invoked from within "source $include_name" ("foreach" body line 3) invoked from within "foreach include_name [get_cmd_arg --include ""] { puts "using run script $include_name" source $include_name }" (file "/home/gg/src/genode/tool/run" line 258) make: *** [run/l4linux] Error 1 gg@...74...:~/build/genode$ make run/l4linux using run script /home/gg/src/genode/base-foc/run/env using run script /home/gg/src/genode/ports-foc/run/l4linux.run building targets: core init drivers/timer drivers/framebuffer/vesa drivers/pci drivers/input/ps2 l4linux spawn make core init drivers/timer drivers/framebuffer/vesa drivers/pci drivers/input/ps2 l4linux make[1]: Entering directory `/home/gg/build/genode' checking library dependencies for core... checking library dependencies for init... checking library dependencies for drivers/timer... Skip target drivers/timer/okl4_x86 because it requires okl4 Skip target drivers/timer/okl4_arm because it requires okl4 arm Skip target drivers/timer/codezero because it requires codezero Skip target drivers/timer/pistachio because it requires pistachio Skip target drivers/timer/nova because it requires nova Skip target drivers/timer/fiasco because it requires fiasco Skip target drivers/timer/linux because it requires linux checking library dependencies for drivers/framebuffer/vesa... checking library dependencies for drivers/pci... checking library dependencies for drivers/input/ps2... Skip target drivers/input/ps2/pl050 because it requires pl050 checking library dependencies for l4linux... Library syscalls Library cap_alloc Library ipc Library slab Library avl_tree Library allocator_avl Library heap Library console Library log_console Library lock Library env Library cxx Library thread Library server Library elf Library process Library startup Program init/init Program drivers/timer/foc/timer Library blit Program drivers/framebuffer/vesa/vesa_drv Program drivers/pci/x86/pci_drv Program drivers/input/ps2/x86/ps2_drv Library l4lx Library l4sys Program l4linux/x86/32bit/vmlinux Using /home/gg/src/genode/ports-foc/contrib as source for kernel GEN /home/gg/build/genode/l4linux/Makefile CHK include/linux/version.h CHK include/generated/utsrelease.h CALL /home/gg/src/genode/ports-foc/contrib/scripts/checksyscalls.sh CHK include/generated/compile.h LD vmlinux.o MODPOST vmlinux.o GEN .version CHK include/generated/compile.h UPD include/generated/compile.h CC init/version.o LD init/built-in.o LD .tmp_vmlinux1 KSYM .tmp_kallsyms1.S AS .tmp_kallsyms1.o LD .tmp_vmlinux2 KSYM .tmp_kallsyms2.S AS .tmp_kallsyms2.o LD vmlinux SYSMAP System.map SYSMAP .tmp_System.map OBJCOPY arch/l4/boot/Image Kernel: arch/l4/boot/Image is ready Building modules, stage 2. MODPOST 97 modules Library core_printf Library pager Library raw_signal Library raw_server Program core/x86/core make[1]: Leaving directory `/home/gg/build/genode' genode build completed using fiasco kernel at /home/gg/build/fiasco using sigma0/bootstrap at /home/gg/build/l4re creating ISO image... spawn qemu -no-kvm-pit -serial mon:stdio -m 512 -cdrom var/run/l4linux.iso open /dev/kvm: No such file or directory Could not initialize KVM, will disable KVM support pci_add_option_rom: failed to find romfile "pxe-rtl8139.bin" Welcome to Fiasco.OC (ia32)! L4/Fiasco.OC ia32 microkernel (C) 1998-2011 TU Dresden Rev: r31 compiled with gcc 4.4.5 for Intel Pentium Pro [] Build: #2 Thu May 19 11:54:05 MSD 2011 Performance-critical config option(s) detected: CONFIG_NDEBUG is off Superpages: yes Kmem:: cpu page at 1fff8000 (4096Bytes) ACPI-Init ACPI: RSDP = 0xfdb80 pRSDT = 1fffde30 pXSDT = 0 ACPI: OEM: BOCHS MADT = 0x203fdeb0 IO-APIC[ 0]: struct: 0x203fdee4 adr=fec00000 IO-APIC[ 0]: pins 23 PIN[ 0m]: vector=20, del=0, dm=physical, dest=0 (high, edge) PIN[ 1m]: vector=21, del=0, dm=physical, dest=0 (high, edge) PIN[ 2m]: vector=22, del=0, dm=physical, dest=0 (high, edge) PIN[ 3m]: vector=23, del=0, dm=physical, dest=0 (high, edge) PIN[ 4m]: vector=24, del=0, dm=physical, dest=0 (high, edge) PIN[ 5m]: vector=25, del=0, dm=physical, dest=0 (high, edge) PIN[ 6m]: vector=26, del=0, dm=physical, dest=0 (high, edge) PIN[ 7m]: vector=27, del=0, dm=physical, dest=0 (high, edge) PIN[ 8m]: vector=28, del=0, dm=physical, dest=0 (high, edge) PIN[ 9m]: vector=29, del=0, dm=physical, dest=0 (high, edge) PIN[10m]: vector=2a, del=0, dm=physical, dest=0 (high, edge) PIN[11m]: vector=2b, del=0, dm=physical, dest=0 (high, edge) PIN[12m]: vector=2c, del=0, dm=physical, dest=0 (high, edge) PIN[13m]: vector=2d, del=0, dm=physical, dest=0 (high, edge) PIN[14m]: vector=2e, del=0, dm=physical, dest=0 (high, edge) PIN[15m]: vector=2f, del=0, dm=physical, dest=0 (high, edge) PIN[16m]: vector=30, del=0, dm=physical, dest=0 (high, edge) PIN[17m]: vector=31, del=0, dm=physical, dest=0 (high, edge) PIN[18m]: vector=32, del=0, dm=physical, dest=0 (high, edge) PIN[19m]: vector=33, del=0, dm=physical, dest=0 (high, edge) PIN[20m]: vector=34, del=0, dm=physical, dest=0 (high, edge) PIN[21m]: vector=35, del=0, dm=physical, dest=0 (high, edge) PIN[22m]: vector=36, del=0, dm=physical, dest=0 (high, edge) PIN[23m]: vector=37, del=0, dm=physical, dest=0 (high, edge) IO-APIC: dual 8259: yes IO-APIC: ovr[ 0] 00 -> 2 IO-APIC: ovr[ 1] 05 -> 5 IO-APIC: ovr[ 2] 09 -> 9 IO-APIC: ovr[ 3] 0a -> a IO-APIC: ovr[ 4] 0b -> b Allocate cpu_mem @ 0xfeffb000 Local APIC[00]: version=11 max_lvt=5 APIC ESR value before/after enabling: 00000000/00000000 Using the PIT (i8254) on IRQ 2 for scheduling SERIAL ESC: allocated IRQ 4 for serial uart SERIAL ESC: allocated IRQ 4 for serial uart Not using serial hack in slow timer handler. Absolute KIP Syscalls using: Sysenter CPU[0:0]: GenuineIntel (6:3:3:0)[00000633] Model: Pentium II (Klamath) at 2663 MHz 32 KB L1 I Cache (8-way associative, 64 bytes per line) 32 KB L1 D Cache (8-way associative, 64 bytes per line) 2048 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 28672 bytes (7 pages) Calibrating timer loop... done. SIGMA0: Hello! KIP @ 400000 Found Fiasco: KIP syscalls: yes allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [0:1000;9efff] [0:10c000;13ffff] [4:140000;1a7fff] [0:1a8000;2dbfff] [4:2dc000;2dcfff] [0:2dd000;3fffff] [0:465000;11f9fff] [4:11fa000;186dfff] [0:186e000;1d70efff] IOMEM:---------------------- [0:0;fff] [0:9f000;fffff] [0:1fffd000;febfffff] [0:fec01000;fedfffff] [0:fee01000;ffffffff] IO PORTS-------------------------- [0:0;fffffff] KIP @ 400000 magic: 4be6344c version: 87004444 sigma0 esp: 002dba48 eip: 001000fc sigma1 esp: 00000000 eip: 00000000 root esp: 00000000 eip: 0017b7cc MBI @ 2dc000 mod[3] [11fa000,11fa3df) config mod[4] [11fb000,12313f4) init mod[5] [1232000,125c6d8) pci_drv mod[6] [125d000,1282c60) timer mod[7] [1283000,12cc424) vesa_drv mod[8] [12cd000,12f8ec8) ps2_drv mod[9] [12f9000,1630d68) vmlinux mod[10] [1631000,186d400) initrd.gz :ram_alloc: Allocator 192604 dump: Block: [00001000,0009f000) size=0009e000 avail=0009e000 max_avail=0009e000 Block: [0010c000,0010c01c) size=0000001c avail=00000000 max_avail=0009e000 Block: [0010c01c,0010c038) size=0000001c avail=00000000 max_avail=00000000 Block: [0010c038,0010c054) size=0000001c avail=00000000 max_avail=0009e000 Block: [0010c054,0010c070) size=0000001c avail=00000000 max_avail=00000000 Block: [0010c070,0010c08c) size=0000001c avail=00000000 max_avail=00033f58 Block: [0010c08c,0010c0a8) size=0000001c avail=00000000 max_avail=00000000 Block: [0010c0a8,00140000) size=00033f58 avail=00033f58 max_avail=00033f58 Block: [001a8000,001a801c) size=0000001c avail=00000000 max_avail=1bea1000 Block: [001a801c,001a8038) size=0000001c avail=00000000 max_avail=00000000 Block: [001a8038,002dc000) size=00133fc8 avail=00133fc8 max_avail=00133fc8 Block: [002dd000,002dd01c) size=0000001c avail=00000000 max_avail=1bea1000 Block: [002dd01c,00400000) size=00122fe4 avail=00122fe4 max_avail=00122fe4 Block: [00465000,011fa000) size=00d95000 avail=00d95000 max_avail=1bea1000 Block: [0186e000,1d70f000) size=1bea1000 avail=1bea1000 max_avail=1bea1000 => mem_size=485879808 (463 MB) / mem_avail=485879556 (463 MB) :region_alloc: Allocator 193774 dump: Block: [0009f000,0010c000) size=0006d000 avail=0006d000 max_avail=0006d000 Block: [00401000,00465000) size=00064000 avail=00064000 max_avail=70000000 Block: [1d70f000,40000000) size=228f1000 avail=228f1000 max_avail=70000000 Block: [50000000,c0000000) size=70000000 avail=70000000 max_avail=70000000 => mem_size=2459705344 (2345 MB) / mem_avail=2459705344 (2345 MB) :io_mem: Allocator 192a60 dump: Block: [00000000,00001000) size=00001000 avail=00001000 max_avail=00001000 Block: [0009f000,0010c000) size=0006d000 avail=0006d000 max_avail=0006d000 Block: [00401000,00465000) size=00064000 avail=00064000 max_avail=e28f0fff Block: [1d70f000,ffffffff) size=e28f0fff avail=e28f0fff max_avail=e28f0fff => mem_size=3801886719 (3625 MB) / mem_avail=3801886719 (3625 MB) :io_port: Allocator 192ebc dump: Block: [00000000,00010000) size=00010000 avail=00010000 max_avail=00010000 => mem_size=65536 (0 MB) / mem_avail=65536 (0 MB) :irq: Allocator 193318 dump: Block: [00000000,00000010) size=00000010 avail=00000010 max_avail=00000010 => mem_size=16 (0 MB) / mem_avail=16 (0 MB) :rom_fs: Rom_fs 193bb8 dump: Rom: [01232000,0125c6d8) pci_drv Rom: [011fb000,012313f4) init Rom: [011fa000,011fa3df) config Rom: [00400000,00401000) kip Rom: [01631000,0186d400) initrd.gz Rom: [00400000,00401000) l4v2_kip Rom: [0125d000,01282c60) timer Rom: [012cd000,012f8ec8) ps2_drv Rom: [01283000,012cc424) vesa_drv Rom: [012f9000,01630d68) vmlinux :core ranges: Allocator 1945fc dump: Block: [00001000,0009f000) size=0009e000 avail=0009e000 max_avail=0009e000 Block: [0010c000,002dc000) size=001d0000 avail=001d0000 max_avail=001d0000 Block: [002dd000,00400000) size=00123000 avail=00123000 max_avail=1d2aa000 Block: [00465000,1d70f000) size=1d2aa000 avail=1d2aa000 max_avail=1d2aa000 => mem_size=493072384 (470 MB) / mem_avail=493072384 (470 MB) int main(): --- create local services --- int main(): --- start init --- int main(): transferred 463 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open file "ldso" [init -> ps2_drv] Detected ExPS/2 mouse - activating scroll-wheel and 5-button support. [init -> ps2_drv] Using keyboard with scan code set 1 (xlate). [init -> pci_drv] PCI driver started [init -> vmlinux] Region map: [init -> vmlinux] 0x00000000 - 0x00001000 [reserved] [init -> vmlinux] 0x00001000 - 0x00005000 [unused] [init -> vmlinux] 0x00005000 - 0x00006000 [KIP] [init -> vmlinux] 0x00006000 - 0x00400000 [unused] [init -> vmlinux] 0x00400000 - 0x007aa000 [Binary] [init -> vmlinux] 0x007aa000 - 0x40000000 [unused] [init -> vmlinux] 0x40000000 - 0x50000000 [Thread Context Area] [init -> vmlinux] 0x50000000 - 0xffffffff [unused] [init -> vmlinux] ======> L4Linux 2.6 starting... <======== [init -> vmlinux] Linux version 2.6.37-l4+ (gg@...74...) (gcc version 4.4.5 (GCC) ) #47 Fri May 20 13:20:17 MSD 2011 [init -> vmlinux] Binary name: vmlinux [init -> vmlinux] Linux kernel command line (3 args): mem=128M l4x_rd=initrd.gz text [init -> vmlinux] CPU mapping (l:p)[1]: 0:0 [init -> vmlinux] Image: 00401000 - 007aa000 [3748 KiB]. [init -> vmlinux] Areas: Text: 00401000 - 006da000 [2916kB] (a bit longer) [init -> vmlinux] Data: 006da000 - 006f94c4 [125kB] [init -> vmlinux] Initdata: 00702000 - 0072c000 [168kB] [init -> vmlinux] BSS: 0072c000 - 00799350 [436kB] [init -> vmlinux] l4util_cpu_capabilities: Not implemented yet! [init -> vmlinux] gs=43 fs=43 [init -> vmlinux] l4io_get_root_device: Not implemented yet! [init -> vmlinux] Device scan: [init -> vmlinux] l4io_iterate_devices: Not implemented yet! [init -> vmlinux] l4x_fiasco_gdt_entry_offset = 9 [init -> vmlinux] l4lx_thread_name_set: Not implemented yet! [init -> vmlinux] main thread will be c [init -> vmlinux] l4x_register_pointer_section: addr = 00400000 size = 3842048 [init -> vmlinux] section-with-init: virt: 400000 to 7a9fff [3752 KiB] [init -> vmlinux] Cannot determine physical address for dataspace Binary! [init -> vmlinux] error: failed to get physical address for 400000. [init -> vmlinux] l4x_linux_startup: thread c. [init -> vmlinux] main thread: received startup message. [init -> vmlinux] Main thread running, waiting... [init -> vmlinux] thread=c000 cpu=0 [init -> vmlinux] utcb bff00200 [init -> vmlinux] l4x_setup_memory: Forcing superpages for main memory [init -> vmlinux] Main memory size: 128MB unmapping of managed dataspaces not yet supported [init -> vmlinux] Main memory: virt: 8000000 to fffffff [131072 KiB] [init -> vmlinux] Main memory: Phys: 0x0186e000 to 0x0986e000, Size: 134217728 [init -> vmlinux] Filling lower ptabs... [init -> vmlinux] Done (0 entries). [init -> vmlinux] l4x_register_pointer_section: addr = 00400000 size = 3842048 [init -> vmlinux] end: virt: 400000 to 7a9fff [3752 KiB] [init -> vmlinux] Cannot determine physical address for dataspace Binary! [init -> vmlinux] error: failed to get physical address for 400000. [init -> vmlinux] l4x_rd_path: initrd.gz [init -> vmlinux] Loading: initrd.gz [init -> vmlinux] INITRD: Size of RAMdisk is 2292KiB [init -> vmlinux] RAMdisk from 007aa000 to 009e7000 [2292KiB] [init -> vesa_drv] Could not open file "config" [init -> vesa_drv] Could not obtain config file [init -> vesa_drv] Found: VESA BIOS version 2.0 [init -> vesa_drv] OEM: VGABIOS Cirrus extension [init -> vesa_drv] Found: physical frame buffer at 0xf0000000 size: 0x00400000 [init -> vmlinux] L4 serial driver [init -> vmlinux] cpu0: segfault for init(1) [T:1cc] at 4456e000, ip=b741b030, pferror = 4 [init -> vmlinux] 08048000 - 080c3000 r-xp 00000 /bin/busybox [init -> vmlinux] 080c3000 - 080c4000 rw-p 0007a /bin/busybox [init -> vmlinux] 080c4000 - 080c6000 rw-p [init -> vmlinux] b72c1000 - b72c2000 rw-p [init -> vmlinux] b72c2000 - b7419000 r-xp 00000 /lib/libc-2.9.so [init -> vmlinux] b7419000 - b741a000 r--p 00157 /lib/libc-2.9.so [init -> vmlinux] b741a000 - b741c000 rw-p 00158 /lib/libc-2.9.so [init -> vmlinux] b741c000 - b741f000 rw-p [init -> vmlinux] b741f000 - b7443000 r-xp 00000 /lib/libm-2.9.so [init -> vmlinux] b7443000 - b7445000 rw-p 00023 /lib/libm-2.9.so [init -> vmlinux] b7445000 - b7446000 rw-p [init -> vmlinux] b7446000 - b7447000 r-xp [init -> vmlinux] b7447000 - b7466000 r-xp 00000 /lib/ld-2.9.so [init -> vmlinux] b7466000 - b7468000 rw-p 0001e /lib/ld-2.9.so [init -> vmlinux] bf591000 - bf5b3000 rw-p --------------------------------------------------------------------- CPU 0 [00404160]: segfault [ cpu0] jdb: </span>======================================================================================================

2 1

Running genode over genode
by Ivan Bludov 21 May '11

21 May '11

Hello, I have an idea to run one Genode-Core over the another Genode-Core just like a simple genode application on a Fiasco.OC. I think it's possible and I have checked this opportunity on host-linux. I think it's interesting idea that provides the new isolation abstraction level of Genode like VM. I think that this idea demands some reducing of platform part of foc functionality. But I don't guess what difficulties it leads for. I don't know enough L4 api. Can you point out some possible problems/changes that have to be solved in order run one genode-core on another? Like changing pager of upper core or some others. Regards, Ivan

3 3

Separating native applications and a complete Linux environment on Genode
by Magnus Andersson 18 May '11

18 May '11

Hi I'm looking for a solution for running one or more application (preferably Qt-apps) on a microkernel and along side of those apps running a complete Linux environment. The thing is that the Qt-apps can be trusted (i.e somewhat trusted, since these are built in-house and should not contain any malicious code) and the Linux environment cannot be trusted since this will be open for others to develop application for. My first thought was that I should use a virtualization solution but one of the requirements are that both all apps should be visible on screen, and preferably be able to use hardware accelaration. As I understand you can run both native Qt-apps on the microkernel and also a Linux environment, but how are they separated? if someone manage, lets say, a buffer owerflow in Linux how far down the tree will it reach? Can it break the complete system? And another question, for the live-cd image you fire up a console (maybe Busybox), can you give me any hints on how to make it work or do I need to download it and port it from scratch? Thanks in advance! //Magnus

2 1

Genode vs. L4Re
by Nuno Santos 18 May '11

18 May '11

Hi I've just learned about the Genode OS framework, and I'd like to understand how it compares with L4 Runtime Environment (L4Re). I was reading the overview and I got the impression that Genode and L4Re provide very similar functionality. I'm sure I'm missing something. Thank you very much. Best regards, --Nuno Santos

2 1

l4Linux problems.
by Daniel Waddington 13 May '11

13 May '11

Hi, I am testing the new L4Linux on Fiasco.OC capabilities with the initrd.gz from genode.org/files. Everything builds OK (32bit target on a 64bit host) but I run it (via 'make run/l4linux') I get the below output. Any ideas? Daniel int main(): --- create local services --- int main(): --- start init --- int main(): transferred 450 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open file "ldso" [init -> pci_drv] PCI driver started [init -> ps2_drv] Detected ExPS/2 mouse - activating scroll-wheel and 5-button support. [init -> ps2_drv] Using keyboard with scan code set 1 (xlate). [init -> vmlinux] Region map: [init -> vmlinux] 0x00000000 - 0x00001000 [reserved] [init -> vmlinux] 0x00001000 - 0x00006000 [genode-heap] [init -> vmlinux] 0x00006000 - 0x00400000 [unused] [init -> vmlinux] 0x00400000 - 0x00754000 [Binary] [init -> vmlinux] 0x00754000 - 0x40000000 [unused] [init -> vmlinux] 0x40000000 - 0x50000000 [Context area] [init -> vmlinux] 0x50000000 - 0x50100000 [l4lx-heap] [init -> vmlinux] 0x50100000 - 0xffffffff [unused] [init -> vmlinux] ======> L4Linux 2.6 starting... <======== [init -> vmlinux] Linux version 2.6.37-l4+ (dwaddington@...70...) (gcc version 4.4.5 (GCC) ) #11 Wed May 11 10:47:10 PDT 2011 [init -> vmlinux] Binary name: vmlinux [init -> vmlinux] Linux kernel command line (3 args): mem=128M l4x_rd=initrd.gz text [init -> vmlinux] CPU mapping (l:p)[1]: 0:0 [init -> vmlinux] Image: 00401000 - 00754000 [3404 KiB]. [init -> vmlinux] Areas: Text: 00401000 - 00680000 [2556kB] (a bit longer) [init -> vmlinux] Data: 00680000 - 006a01cc [128kB] [init -> vmlinux] Initdata: 006a8000 - 006d2000 [168kB] [init -> vmlinux] BSS: 006d2000 - 00743604 [453kB] [init -> vmlinux] l4util_cpu_capabilities: Not implemented yet! [init -> vmlinux] gs=43 fs=43 [init -> vmlinux] l4io_get_root_device: Not implemented yet! [init -> vmlinux] Device scan: [init -> vmlinux] l4io_iterate_devices: Not implemented yet! [init -> vmlinux] l4x_fiasco_gdt_entry_offset = 9 [init -> vmlinux] l4lx_thread_name_set: Not implemented yet! no RM attachment (READ pf_addr=20 pf_ip=50abca from 508000) invalid signal-context capability

3 12

pager in Genode
by Chen Tian - SISA 13 May '11

13 May '11

Hello, I am trying to understand the memory management and pager implementation in Genode. I am stuck on Rm_client::pager function in rm_session_component.cc. Can somebody explain to me the main idea behind it, especially the reverse_lookup function? I must have missed some important data structures or designs of the memory management in RAM or Rm. Thanks. Regards, Chen

2 1

lwip examples
by Amadeo Cuadrado 13 May '11

13 May '11

Hello, I have not been able to run any of the lwip examples (I am using 32 bits): loopback hangs in socket() call, and http_srv hangs in the lwip_nic_init() call. I am using the Nic driver from dde_gpxe, since I got compilation errors when building the linux_drivers: .../genode/linux_drivers/src/linux26/arch/i386/lib/bitops.c: In function 'find_next_zero_bit': .../genode/linux_drivers/include/linux26-x86/asm/bitops.h:283: error: can't find a register in class 'BREG' while reloading 'asm' .../genode/linux_drivers/include/linux26-x86/asm/bitops.h:283: error: 'asm' operand has impossible constraints Any clue what I could be missing here to make these examples work? Let me know if you need more info about my environment. Thanks. Amadeo

5 9

Multiple TCP/IP apps
by Александр Домо 12 May '11

12 May '11

Hello, again! Could you please suggest the proper way to use the lwip library in multiple processes, especially, with libc_lwip_nic_dhcp? From my point of view, lwip alone should work ok in multiple processes, as long as a static IP-address is assigned. Those processes start communicating with the nic driver and just work along. Or they don't? As for the dhcp part, it gets more complicated. Do they all get the same IP address? As far as I know DHCP, they do. But I don't think this is really nice, when all the applications start querying for IP addresses. Maybe I should write a real, hard-core, independent TCP/IP module, which would offer IP services to everyone else, like it's done in QNX, for example? But that's not so easy, right? I'd prefer the easy way first ;) Thanks!!

2 1

malloc/free functions.
by Chen Tian - SISA 10 May '11

10 May '11

Hi, I found that malloc/free functions have been implemented in at least three different libraries: cxx, mini_c and libc. I assume cxx is used for genode base and core implementations, mini_c for demos and libc for porting. However, I am not able to use any of them in my own application. When using malloc defined in mini_c or libc, I got a compiler error " reference to 'size_t' is ambiguous". It looks like both stdlib.h in mini_c (or libc) directory and stdint.h in base directory have defined "size_t" type. And I cannot get rid of the use of stdint.h as it has been included in many genode base and core files. On the other hand, if I wanted to use the malloc in cxx by putting "cxx" into LIB in my application's target.mk, malloc cannot be recognized by the compiler. To solve this problem, I currently have to define my own malloc/free by copying the implementation from cxx and it works. However, I really wonder which malloc/free defined in genode should I use and how? By the way, the implementation of heap()->alloc() is thread-safe, right? Thanks. Chen

2 1

Another Genode on Fiasco.OC issue...
by Guess Who? 13 Apr '11

13 Apr '11

I loaded the toolchain, as detailed in the Genode on Fiasco.OC site and when I built the L4Re environment I got this: ==> Installing crti.o to local build-tree ... Compiling crtn.o initfini.c: Assembler messages: initfini.c:29: Error: .size expression for _init does not evaluate to a constant initfini.c:29: Error: .size expression for _fini does not evaluate to a constant make[3]: *** [crtn.o] Error 1 make[3]: Leaving directory `/home/wegrzyn/Fiasco/L4re-build/pkg/ldscripts/OBJ-x86_core2' make[2]: *** [/home/wegrzyn/Fiasco/L4re-build/pkg/ldscripts/OBJ-x86_core2] Error 2 make[2]: Leaving directory `/home/wegrzyn/Fiasco/src/l4/pkg/ldscripts' make[1]: *** [ldscripts] Error 2 make[1]: Leaving directory `/home/wegrzyn/Fiasco/src/l4/pkg' make: *** [pkg] Error 2 Can anyone venture a guess what I need to correct? Peace, Chance

3 2

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users