- l4-hackers - example.com Site

crash: l4linux with virtual PCI bus enabled
by Arno Toell 16 Jun '11

16 Jun '11

Hi list, (please CC me, as I'm not subscribed) I was trying to run l4linux supposed to boot from a NFS root file system. I enabled PCI support and the virtual PCI bus. I was successfully able to establish a network connection to my NFS server, however shortly after I get: l4linux | Page fault (non-resolved): pfa=6 pc=61fff9 Die message: Trap: 14 Trap: 14: 0006 [#1] ... Kernel panic - not syncing: Fatal exception in interrupt I am mostly running a setup with the supplied example configurations. This is my setup: * l4re: http://svn.tudos.org/repos/oc/tudos r33 * l4linux: http://svn.tudos.org/repos/oc/l4linux/trunk, r19 * run time environment: Debian Squeeze x86, gcc version 4.4.5, qemu (0.12.5) * I'm starting l4re with: "qemu -m 768 -vnc :1 -cdrom images/l4linux-mag-x86.iso -serial stdio -net nic,model=e1000 -net user" where l4linux-mag-x86.iso was generated by: * "make grub2iso E=L4Linux-mag-x86 MODULES_LIST=~/ssl/modules.list MODULE_SEARCH_PATH=~/kernel-build/:~/l4linux/:~/bootstrap/" Moreover (hopefully) I attached all configuration files below. all remaining files are untouched from the example configurations. This is the full output: arno@l4:~/l4re-build$ qemu -m 768 -vnc :1 -cdrom images/l4linux-mag-x86.iso -serial stdio -net nic,model=e1000 -net user L4 Bootstrapper Build: #5 Di 14. Jun 13:22:36 EDT 2011, x86-32, 4.4.5 RAM: 0000000000000000 - 000000000009f3ff: 637kB RAM: 0000000000100000 - 000000002fffcfff: 785396kB Total RAM: 767MB Moving 12 modules to 2000000 with offset ddfc2000 moving module 01 { 2403e000-240a4340 } -> { 2000000-2066340 } moving module 02 { 240a5000-240e5879 } -> { 2067000-20a7879 } moving module 03 { 240e6000-242b0883 } -> { 20a8000-2272883 } moving module 04 { 242b1000-2439c771 } -> { 2273000-235e771 } moving module 05 { 2439d000-245821c6 } -> { 235f000-25441c6 } moving module 06 { 2fe95000-2fe9560c } -> { de57000-de5760c } moving module 07 { 24583000-24e0f118 } -> { 2545000-2dd1118 } moving module 08 { 24e10000-24f5dcf3 } -> { 2dd2000-2f1fcf3 } moving module 09 { 24f5e000-252672d2 } -> { 2f20000-32292d2 } moving module 10 { 2ff51000-2ff513b7 } -> { df13000-df133b7 } moving module 11 { 25268000-2526821f } -> { 322a000-322a21f } moving module 12 { 25269000-256a375b } -> { 322b000-366575b } Scanning fiasco Scanning sigma0 Scanning moe rom/l4lx-gfx.cfg Bootloader MMAP: [ 0, 9f400) RAM (1) [ 9f400, a0000) reserved (2) [ f0000, 100000) reserved (2) [ 100000, 2fffd000) RAM (1) [ 2fffd000, 30000000) reserved (2) [ fffc0000, 100000000) reserved (2) Relocated mbi to [0x2dc000-0x2dc183] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page at 0x400000 Regions of list regions [ 0, fff] { 1000} Arch BIOS [ 9f400, 9ffff] { c00} Arch BIOS [ f0000, fffff] { 10000} Arch BIOS [ 100000, 10a1ab] { a1ac} Sigma0 sigma0 [ 140000, 18c5b3] { 4c5b4} Root moe [ 2d0000, 2e03e7] { 103e8} Boot bootstrap [ 2dc000, 2dc280] { 281} Root Multiboot info [ 300000, 38ffff] { 90000} Kern fiasco [ 400000, 46bfff] { 6c000} Kern fiasco [ 2273000, 366575a] { 13f275b} Root Modules Memory [ 2fffd000, 2fffffff] { 3000} Arch BIOS [ fffc0000, ffffffff] { 40000} Arch BIOS API Version: (87) experimental Sigma0 config ip:001000fc sp:002dba38 Roottask config ip:001400e4 sp:00000000 Starting kernel fiasco at 00300824 Welcome to Fiasco.OC (ia32)! L4/Fiasco.OC ia32 microkernel (C) 1998-2011 TU Dresden Rev: r33 compiled with gcc 4.4.5 for Pentium M [] Build: #1 Mo 13. Jun 11:13:40 EDT 2011 Performance-critical config option(s) detected: CONFIG_NDEBUG is off Superpages: yes Kmem:: cpu page at 2fbe2000 (4096Bytes) ACPI-Init ACPI: RSDP[0xf8850] r00 OEM:BOCHS. ACPI: RSDT[0x203fde30] r01 OEM:BOCHS. OEMTID:BXPCRSDT ACPI: FACP[0x203ffe70] r01 OEM:BOCHS. OEMTID:BXPCFACP ACPI: SSDT[0x203fdf90] r01 OEM:BOCHS. OEMTID:BXPCSSDT ACPI: APIC[0x203fdeb0] r01 OEM:BOCHS. OEMTID:BXPCAPIC ACPI: HPET[0x203fde70] r01 OEM:BOCHS. OEMTID:BXPCHPET IO-APIC: 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 @ 0xfffe6000 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 Absolute KIP Syscalls using: Sysenter CPU[0:0]: GenuineIntel (6:3:3:0)[00000633] Model: Pentium II (Klamath) at 2386 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:10b000;13ffff] [4:140000;18cfff] [0:18d000;2dbfff] [4:2dc000;2dcfff] [0:2dd000;3fffff] [0:465000;2272fff] [4:2273000;3665fff] [0:3666000;2bffffff] [0:2fc00000;2fffcfff] IOMEM:---------------------- [0:0;fff] [0:9f000;fffff] [0:2fffd000;febfffff] [0:fec01000;fedfffff] [0:fee01000;ffffffff] IO PORTS-------------------------- [0:0;fffffff] MOE: Hello world MOE: found 703400 KByte free memory MOE: found RAM from 1000 to 2fffd000 MOE: allocated 767 KByte for the page array @0x18d000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:501000] BOOTFS: [2273000-235e771] [C:503000] l4re BOOTFS: [235f000-25441c6] [C:504000] ned BOOTFS: [de57000-de5760c] [C:505000] l4lx-gfx.cfg BOOTFS: [2545000-2dd1118] [C:506000] io BOOTFS: [2dd2000-2f1fcf3] [C:507000] fb-drv BOOTFS: [2f20000-32292d2] [C:508000] mag BOOTFS: [df13000-df133b7] [C:509000] x86-legacy.devs BOOTFS: [322a000-322a21f] [C:50a000] l4lx-x86.io BOOTFS: [322b000-366575b] [C:50b000] vmlinuz MOE: cmdline: moe rom/l4lx-gfx.cfg MOE: Starting: rom/ned rom/l4lx-gfx.cfg MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/l4lx-gfx.cfg' io | Io service io | Find root Pointer io | Find root Pointer: f8850 io | ACPI: RSDP 0xf8850 00014 (v00 BOCHS ) io | ACPI: RSDT 0x2fffde30 00034 (v01 BOCHS BXPCRSDT 00000001 BXPC 00000001) io | ACPI: FACP 0x2ffffe70 00074 (v01 BOCHS BXPCFACP 00000001 BXPC 00000001) io | ACPI: DSDT 0x2fffdfd0 01E22 (v01 BXPC BXDSDT 00000001 INTL 20090521) io | ACPI: FACS 0x2ffffe00 00040 io | ACPI: SSDT 0x2fffdf90 00037 (v01 BOCHS BXPCSSDT 00000001 BXPC 00000001) io | ACPI: APIC 0x2fffdeb0 00072 (v01 BOCHS BXPCAPIC 00000001 BXPC 00000001) io | ACPI: HPET 0x2fffde70 00038 (v01 BOCHS BXPCHPET 00000001 BXPC 00000001) io | Parsing all Control Methods: io | Table [DSDT](id 0001) - 247 Objects with 47 Devices 79 Methods 5 Regions io | Parsing all Control Methods: io | Table [SSDT](id 0002) - 1 Objects with 0 Devices 0 Methods 0 Regions io | tbxface-0601 [02] TbLoadNamespace : ACPI Tables successfully acquired io | evxfevnt-0184 [02] Enable : Transition to ACPI mode successful io | evgpeblk-1129 [04] EvCreateGpeBlock : GPE 00 to 0F [_GPE] 2 regs on int 0x9 io | /home/arno/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:57:AcpiOsInstallInterruptHandler: UNINPLEMENTED io | Completing Region/Field/Buffer/Package initialization:................ io | Initialized 5/5 Regions 0/0 Fields 7/7 Buffers 4/4 Packages (257 nodes) io | Initializing Device/Processor/Thermal objects by executing _INI methods: io | Executed 0 _INI methods requiring 0 _STA executions (examined 50 objects) io | evgpeblk-1234 [03] EvInitializeGpeBlock : Found 0 Wake, Enabled 16 Runtime GPEs in this block io | ACPICA-Version:20091214, System in ACPI MODE, 32bit timer io | WARNING: device 'S2__' already assigned to an other virtual bus. io | Ready. Waiting for request. mag | Hello from MAG fb-drv | Trying execution of ``set VBE mode'' using x86emu fb-drv | Found VESA BIOS version 2.0 fb-drv | OEM VGABIOS Cirrus extension fb-drv | VBE mode 0x117 successfully set. fb-drv | Framebuffer memory: phys: e0000000 - e0400000 fb-drv | virt: 400000 - 800000 fb-drv | Starting server loop mag | mapped frame buffer at 0x400000 mag | View::Info: mag | flags: 0 mag | size: 1024x768 pos: 0, 0 mag | bytes_per_line: 2048 mag | buffer_offset: 0 mag | RGBA(2): 5(11):6(5):5(0):0(0) mag | memory 400000-800000 mag | L4INPUT native mode activated mag | L4INPUT: !!! W A R N I N G !!! mag | L4INPUT: Please, do not use Fiasco's "-esc" with L4INPUT. mag | L4INPUT: !!! W A R N I N G !!! mag | serio: i8042 AUX port at 0x60,0x64 irq 12 mag | serio: i8042 KBD port at 0x60,0x64 irq 1 mag | input: ImExPS/2 Generic Explorer Mouse on isa0060/serio1 mag | input: AT Translated Set 2 keyboard on isa0060/serio0 mag | connect "ImExPS/2 Generic Explorer Mouse", isa0060/serio1/input0 mag | connect "AT Translated Set 2 keyboard", isa0060/serio0/input0 mag | Plugin: Frame-buffer service started mag | Plugin: Mag_client service started l4linux | PH 0 (t: 1) offs=00001000 vaddr=00400000 vend=006df000 l4linux | f_sz=002df000 memsz=002df000 flgs=r-x l4linux | PH 1 (t: 1) offs=002e0000 vaddr=006df000 vend=007e0000 l4linux | f_sz=00055168 memsz=00101000 flgs=rw- l4linux | PH 2 (t: 4) offs=00242e1c vaddr=00641e1c vend=00641e40 l4linux | f_sz=00000024 memsz=00000024 flgs=--- l4linux | Starting binary at 0x400000, argc=8 argv=0x80007f98 *argv=0xb1007ff4 argv0=rom/vmlinuz l4linux | External resolver is at 0xa80005b0 l4linux | ======> L4Linux 2.6 starting... <======== l4linux | Linux version 2.6.38-l4-svn19 (arno@l4) (gcc version 4.4.5 (Debian 4.4.5-8) ) #5 Wed Jun 15 08:25:35 EDT 2011 l4linux | Binary name: rom/vmlinuz l4linux | Linux kernel command line (7 args): mem=512M console=ttyLv0 console=tty0 root=/dev/nfs nfsroot=192.168.2.25:/home/arno/bootstrap ip=dhcp nfsrootdebug l4linux | CPU mapping (l:p)[1]: 0:0 l4linux | Image: 00400000 - 007e0000 [3968 KiB]. l4linux | Areas: Text: 00400000 - 006df000 [2940kB] (a bit longer) l4linux | Data: 006df000 - 00703a20 [146kB] l4linux | Initdata: 00705000 - 00736000 [196kB] l4linux | BSS: 00736000 - 007d0000 [616kB] l4linux | gs=43 fs=43 l4linux | l4lx_thread_create: Created thread 417 (tamer0) (u:b3000400, sp:0074e954) l4linux | Tamer0 is 417 l4linux | Using tamed mode. l4linux | Device scan: l4linux | Device: l4linux | PORT: 000001f0 - 000001f7 l4linux | PORT: 000003f6 - 000003f6 l4linux | IRQ: 0000000e - 0000000e l4linux | PORT: 00000170 - 00000177 l4linux | PORT: 00000376 - 00000376 l4linux | IRQ: 0000000f - 0000000f l4linux | PORT: 0000c000 - 0000c00f l4linux | Device: l4linux | IRQ: 0000000b - 0000000b l4linux | MEM: e2020000 - e203ffff l4linux | PORT: 0000c040 - 0000c07f l4linux | l4x_fiasco_gdt_entry_offset = 9 l4linux | rtc not found l4linux | WARNING: RTC server does not seem there! l4linux | l4lx_thread_create: Created thread 419 (cpu0) (u:b3000600, sp:006e1ff4) l4linux | main thread will be 419 l4linux | l4x_register_pointer_section: addr = 006df000 size = 1052672 l4linux | section-with-init: virt: 0x6df000 to 0x7dffff [1028 KiB] l4linux | section-with-init: Phys: 0x009e8000 to 0x00ae9000, Size: 1052672 l4linux | l4x_linux_startup: thread 419. l4linux | Main thread running, waiting... l4linux | main thread: received startup message. l4linux | utcb 0xb3000600 l4linux | l4x_setup_memory: Forcing superpages for main memory l4linux | l4re_global_env: 0xb1007ea0 l4linux | Main memory size: 512MB l4linux | Main memory: virt: 0x800000 to 0x207fffff [524288 KiB] l4linux | Main memory: Phys: 0x03800000 to 0x23800000, Size: 536870912 l4linux | Filling lower ptabs... l4linux | blah l4linux | blah l4linux | Done (1028 entries). l4linux | l4x_register_pointer_section: addr = 006df000 size = 1052672 l4linux | end: virt: 0x6df000 to 0x7dffff [1028 KiB] l4linux | end: Phys: 0x009e8000 to 0x00ae9000, Size: 1052672 l4linux | l4lx_thread_create: Created thread 41e (IRQ CPU0) (u:b3000800, sp:00765ff4) l4linux | rtc not found Linux version 2.6.38-l4-svn19 (arno@l4) (gcc version 4.4.5 (Debian 4.4.5-8) ) #5 Wed Jun 15 08:25:35 EDT 2011 BIOS-provided physical RAM map: L4Lx-Memory: 0000000000000000 - 0000000000001000 (usable) L4Lx-Memory: 0000000000400000 - 00000000007e0000 (usable) L4Lx-Memory: 00000000007e0000 - 0000000000800000 (unusable) L4Lx-Memory: 0000000000800000 - 0000000020800000 (usable) Notice: NX (Execute Disable) protection missing in CPU! last_pfn = 0x20800 max_arch_pfn = 0x100000 init_memory_mapping: 0000000000000000-0000000020800000 520MB LOWMEM available. mapped low ram: 0 - 20800000 low ram: 0 - 20800000 Zone PFN ranges: DMA 0x00000400 -> 0x00000000 Normal 0x00000000 -> 0x00020800 Movable zone start PFN for each node early_node_map[2] active PFN ranges 0: 0x00000400 -> 0x000007e0 0: 0x00000800 -> 0x00020800 Allocating PCI resources starting at 20800000 (gap: 20800000:df800000) Built 1 zonelists in Zone order, mobility grouping on. Total pages: 131032 Kernel command line: mem=512M console=ttyLv0 console=tty0 root=/dev/nfs nfsroot=192.168.2.25:/home/arno/bootstrap ip=dhcp nfsrootdebug PID hash table entries: 2048 (order: 1, 8192 bytes) Dentry cache hash table entries: 65536 (order: 6, 262144 bytes) Inode-cache hash table entries: 32768 (order: 5, 131072 bytes) Initializing CPU#0 Memory: 519772k/532480k available (2310k kernel code, 8484k reserved, 776k data, 196k init, 0k highmem) virtual kernel memory layout: fixmap : 0x00100000 - 0x0011a000 ( 104 kB) vmalloc : 0x20800000 - 0x28800000 ( 128 MB) lowmem : 0x00000000 - 0x20800000 ( 520 MB) .init : 0x00705000 - 0x00736000 ( 196 kB) .data : 0x0064185a - 0x00703a20 ( 776 kB) .text : 0x00400000 - 0x0064185a (2310 kB) NR_IRQS:192 l4lx_irq_init: creating IRQ thread on cpu 0 Console: colour dummy device 80x25 console [tty0] enabled irq_thread: Starting IRQ thread on CPU 0 console [ttyLv0] enabled Detected 2386.687 MHz processor. Calibrating delay loop (skipped), value calculated using timer frequency.. 4773.37 BogoMIPS (lpj=23866870) pid_max: default: 32768 minimum: 301 Mount-cache hash table entries: 512 CPU: Intel Pentium II (Klamath) stepping 03 Performance Events: l4linux | WARNING: Unknown rdmsr: 00000186 at 0x70c14d l4linux | WARNING: Unknown rdmsr: 00000187 at 0x70c14d l4linux | WARNING: Unknown wrmsr: 000000c1 at 0x70c1db l4linux | WARNING: Unknown rdmsr: 000000c1 at 0x70c1e9 Broken PMU hardware detected, using software events only. NET: Registered protocol family 16 bio: create slab <bio-0> at 0 vgaarb: loaded PCI: L4 root bridge is device 176e0 PCI: Using L4-IO for IRQ routing pci 0000:00:00.0: No interrupt pin configured for device 0000:00:00.0 L4IRQ: set irq type of 11 to 4 pci 0000:00:01.0: PCI INT A -> GSI 11 (level, high) -> IRQ 11 Switching to clocksource l4kipclk NET: Registered protocol family 2 IP route cache hash table entries: 4096 (order: 2, 16384 bytes) TCP established hash table entries: 16384 (order: 5, 131072 bytes) TCP bind hash table entries: 16384 (order: 4, 65536 bytes) TCP: Hash tables configured (established 16384 bind 16384) TCP reno registered UDP hash table entries: 256 (order: 0, 4096 bytes) UDP-Lite hash table entries: 256 (order: 0, 4096 bytes) NET: Registered protocol family 1 RPC: Registered udp transport module. RPC: Registered tcp transport module. RPC: Registered tcp NFSv4.1 backchannel transport module. platform rtc_cmos: registered platform RTC device (no PNP device found) nfs4filelayout_init: NFSv4 File Layout Driver Registering... msgmni has been set to 1015 io scheduler noop registered io scheduler deadline registered io scheduler cfq registered (default) l4fb l4fb.0: look for capability 'fb' as goos sesseion l4fb l4fb.0: 640x480@16 2bypp, size: 614400 @ 28800000 l4fb l4fb.0: 5:6:5 11:5:0 linelen=1280 visual=2 Console: switching to colour frame buffer device 80x30 l4fb l4fb.0: l4fb L4 frame buffer device (refresh: 10jiffies) input: L4keyb '0' as /devices/virtual/input/input0 input: L4mouse '0' as /devices/virtual/input/input1 L4 serial driver ttyLv0 at MMIO 0x1 (irq = 64) is a L4 L4 shared mem serial driver l4cdds: No name given, not starting. brd: module loaded e1000: Intel(R) PRO/1000 Network Driver - version 7.3.21-k8-NAPI e1000: Copyright (c) 1999-2006 Intel Corporation. L4IRQ: set irq type of 11 to 4 e1000 0000:00:01.0: PCI INT A -> GSI 11 (level, high) -> IRQ 11 __l4x_ioremap: Mapping physaddr e2020000 [0x20000 Bytes, e2020000+020000] to 28897000+000000 l4linux | cpu0: utcb=0xb3000600 419 l4linux | l4lx_thread_create: Created thread 423 (idler0) (u:b3000a00, sp:00767ff8) Switching to clocksource tsc e1000 0000:00:01.0: eth0: (PCI:33MHz:32-bit) 52:54:00:12:34:56 e1000 0000:00:01.0: eth0: Intel(R) PRO/1000 Network Connection e1000e: Intel(R) PRO/1000 Network Driver - 1.2.20-k2 e1000e: Copyright(c) 1999 - 2011 Intel Corporation. mousedev: PS/2 mouse device common for all mice TCP cubic registered NET: Registered protocol family 17 Registering the dns_resolver key type e1000: eth0 NIC Link is Up 1000 Mbps Full Duplex, Flow Control: RX Sending DHCP requests ., OK IP-Config: Got DHCP answer from 10.0.2.2, my address is 10.0.2.15 IP-Config: Complete: device=eth0, addr=10.0.2.15, mask=255.255.255.0, gw=10.0.2.2, host=10.0.2.15, domain=, nis-domain=(none), bootserver=10.0.2.2, rootserver=192.168.2.25, rootpath= Root-NFS: nfsroot=/home/arno/bootstrap NFS: nfs mount opts='udp,nolock,addr=192.168.2.25' NFS: parsing nfs mount option 'udp' NFS: parsing nfs mount option 'nolock' NFS: parsing nfs mount option 'addr=192.168.2.25' NFS: MNTPATH: '/home/arno/bootstrap' NFS: sending MNT request for 192.168.2.25:/home/arno/bootstrap NFS: received 1 auth flavors NFS: auth flavor[0]: 1 NFS: MNT request succeeded NFS: using auth flavor 1 VFS: Mounted root (nfs filesystem) on device 0:11. Freeing unused kernel memory: 196k freed Clocksource tsc unstable (delta = 85885513 ns) Switching to clocksource l4kipclk l4linux | Page fault (non-resolved): pfa=6 pc=61fff9 Die message: Trap: 14 Trap: 14: 0006 [#1] last sysfs file: /sys/kernel/uevent_seqnum Modules linked in: Pid: 824, comm: mv Not tainted 2.6.38-l4-svn19 #5 EIP: 0000:[<0061fff9>] EFLAGS: 00003246 CPU: 0 EIP is at rpc_wake_up_task_queue_locked+0x69/0x1f0 EAX: 00000000 EBX: 1fe181ac ECX: 00000000 EDX: 1fc92420 ESI: 1fe181ac EDI: 1fe18000 EBP: 1fc0bcb8 ESP: 1fc0bc7c DS: 0000 ES: 0000 FS: 0043 GS: 0043 SS: 0023 Process mv (pid: 824, ti=1fc0a000 task=1fcadba0 task.ti=1fc98000) Stack: 1fc0bc84 00000000 1fded94c 00000078 00403866 1fc0bcbc 00000000 1fe18000 1fc0bcb4 0041fc64 1fc0bca8 000f4240 1fe181ac 1fc92420 1fe18000 1fc0bcc8 006203ff 1fe1e3d0 1fc92420 1fc0bd14 0061c4d8 1fc0bcfc 00000078 00000000 Call Trace: [<00403866>] ? l4x_global_sti+0xa6/0xe0 [<0041fc64>] ? ns_to_timespec+0x44/0x70 [<006203ff>] rpc_wake_up_queued_task+0x1f/0x30 [<0061c4d8>] xprt_complete_rqst+0x118/0x180 [<0061f05a>] xs_udp_data_ready+0x14a/0x1b0 [<00403866>] ? l4x_global_sti+0xa6/0xe0 [<005b1e43>] sock_queue_rcv_skb+0xe3/0x130 [<005db2fb>] ip_queue_rcv_skb+0x2b/0x50 [<005f5e86>] __udp_queue_rcv_skb+0x16/0x70 [<005f74d9>] udp_queue_rcv_skb+0x1b9/0x280 [<005f8876>] __udp4_lib_rcv+0x166/0x5c0 [<005d69ee>] ? ip_defrag+0x41e/0xa60 [<00419000>] ? __sched_setscheduler+0x1a0/0x390 [<005f8ce2>] udp_rcv+0x12/0x20 [<005d615c>] ip_local_deliver+0x6c/0x180 [<005d5eca>] ip_rcv+0x2da/0x500 [<005bac0c>] __netif_receive_skb+0x26c/0x2d0 [<00406bf9>] ? nommu_map_page+0x29/0xd0 [<005b4e46>] ? __alloc_skb+0x56/0x100 [<005badca>] netif_receive_skb+0x2a/0x60 [<005bae37>] napi_skb_finish+0x37/0x50 [<005bb9cb>] napi_gro_receive+0xdb/0xf0 [<005b4e46>] ? __alloc_skb+0x56/0x100 [<0057843d>] e1000_receive_skb+0x3d/0x60 [<00578b69>] e1000_clean_rx_irq+0x1d9/0x370 [<0057b798>] e1000_clean+0x1b8/0x510 [<004039ad>] ? l4x_global_restore_flags+0x3d/0x50 [<00418858>] ? try_to_wake_up+0x58/0xa0 [<00403866>] ? l4x_global_sti+0xa6/0xe0 [<00403866>] ? l4x_global_sti+0xa6/0xe0 [<005bb037>] net_rx_action+0x77/0x100 [<00420722>] __do_softirq+0x72/0x100 [<004206b0>] ? __do_softirq+0x0/0x100 <IRQ> [<0042011d>] ? irq_exit+0x2d/0x40 [<0040d73b>] ? do_IRQ+0x3b/0x90 [<00403866>] ? l4x_global_sti+0xa6/0xe0 [<004038f7>] ? l4x_global_cli+0x57/0xd0 [<00528bc5>] ? irq_thread+0x175/0x380 Code: 42 38 a8 04 0f 84 10 01 00 00 8b 4a 34 85 c9 74 49 f6 05 c8 ea 7c 00 40 0f 85 73 01 00 00 8b 42 58 8b 4a 54 c7 42 34 00 00 00 00 <89> 41 04 89 08 8d 43 48 c7 42 54 00 01 10 00 c7 42 58 00 02 20 EIP: [<0061fff9>] rpc_wake_up_task_queue_locked+0x69/0x1f0 SS:ESP 0023:1fc0bc7c ---[ end trace 63f9d268df476d30 ]--- Kernel panic - not syncing: Fatal exception in interrupt Pid: 824, comm: mv Tainted: G D 2.6.38-l4-svn19 #5 Call Trace: [<0063fced>] ? panic+0x57/0x143 [<0040de5a>] ? oops_end+0x8a/0x90 [<0040dfd5>] ? die+0x45/0x70 [<0061fff9>] ? rpc_wake_up_task_queue_locked+0x69/0x1f0 [<00403866>] ? l4x_global_sti+0xa6/0xe0 [<0041fc64>] ? ns_to_timespec+0x44/0x70 [<006203ff>] ? rpc_wake_up_queued_task+0x1f/0x30 [<0061c4d8>] ? xprt_complete_rqst+0x118/0x180 [<0061f05a>] ? xs_udp_data_ready+0x14a/0x1b0 [<00403866>] ? l4x_global_sti+0xa6/0xe0 [<005b1e43>] ? sock_queue_rcv_skb+0xe3/0x130 [<005db2fb>] ? ip_queue_rcv_skb+0x2b/0x50 [<005f5e86>] ? __udp_queue_rcv_skb+0x16/0x70 [<005f74d9>] ? udp_queue_rcv_skb+0x1b9/0x280 [<005f8876>] ? __udp4_lib_rcv+0x166/0x5c0 [<005d69ee>] ? ip_defrag+0x41e/0xa60 [<00419000>] ? __sched_setscheduler+0x1a0/0x390 [<005f8ce2>] ? udp_rcv+0x12/0x20 [<005d615c>] ? ip_local_deliver+0x6c/0x180 [<005d5eca>] ? ip_rcv+0x2da/0x500 [<005bac0c>] ? __netif_receive_skb+0x26c/0x2d0 [<00406bf9>] ? nommu_map_page+0x29/0xd0 [<005b4e46>] ? __alloc_skb+0x56/0x100 [<005badca>] ? netif_receive_skb+0x2a/0x60 [<005bae37>] ? napi_skb_finish+0x37/0x50 [<005bb9cb>] ? napi_gro_receive+0xdb/0xf0 [<005b4e46>] ? __alloc_skb+0x56/0x100 [<0057843d>] ? e1000_receive_skb+0x3d/0x60 [<00578b69>] ? e1000_clean_rx_irq+0x1d9/0x370 [<0057b798>] ? e1000_clean+0x1b8/0x510 [<004039ad>] ? l4x_global_restore_flags+0x3d/0x50 [<00418858>] ? try_to_wake_up+0x58/0xa0 [<00403866>] ? l4x_global_sti+0xa6/0xe0 [<00403866>] ? l4x_global_sti+0xa6/0xe0 [<005bb037>] ? net_rx_action+0x77/0x100 [<00420722>] ? __do_softirq+0x72/0x100 [<004206b0>] ? __do_softirq+0x0/0x100 <IRQ> [<0042011d>] ? irq_exit+0x2d/0x40 [<0040d73b>] ? do_IRQ+0x3b/0x90 [<00403866>] ? l4x_global_sti+0xa6/0xe0 [<004038f7>] ? l4x_global_cli+0x57/0xd0 [<00528bc5>] ? irq_thread+0x175/0x380 panic: going to sleep forever, bye l4linux | panic: going to sleep forever, bye FWIW: The ram disk example works with the same kernel. -- Arno Töll GnuPG Key-ID: 0x9D80F36D

2 4

Properly detect muliple PCI root brings in L4Re's io process
by Christian Ehrhardt 16 Jun '11

16 Jun '11

Hi, I tried to run fiasco and L4Linux on an SMP machine that features two idenpendent PCI root bridges. Currently, the io process fails to scan the bus connected to the second bridge. It properly detects that two PCI root bridges are present and creates two seperate Pci_port_root_bridge objects. However, it fails to initialize the Pci_bridge::num field properly. As a result, the io process scans the first bus twice. This causes major havoc as PCI devices on the second bus don't show up in L4Linux at all and devices on the first bus are detected twice. According to http://www.acpi.info/acpi_faq.htm the ACPI structures should contain a _BBN method to detect the bus number of both root busses. The following patch uses this method to detect and set the Pci_bridge::num field properly. A patch to fix this is provided below. With this patch NICs on both PCI busses are detected and work properly on the hardware in question. As always comments are appreciated. regards Christian The contributions made by this patch are licensed under the MIT license (http://www.opensource.org/licenses/mit-license.php) diff --git a/src/l4/pkg/io/server/src/acpi.cc b/src/l4/pkg/io/server/src/acpi.cc index f76c768..4179c4e 100644 --- a/src/l4/pkg/io/server/src/acpi.cc +++ b/src/l4/pkg/io/server/src/acpi.cc @@ -572,9 +572,25 @@ discover_pre_cb(ACPI_HANDLE obj, UINT32 nl, void *ctxt, void **) //AcpiUtReleaseMutex(ACPI_MTX_NAMESPACE); // hm, this seems very specific for PCI + /* + * Systems with multiple PCI root bridges must provide the PCI bus + * number of each bus via the _BBN method. + */ if (pci_rb) { - d_printf(DBG_DEBUG, "Found PCI root bridge...\n"); + ACPI_INTEGER pci_int; + bool have_bbn = false; + + if (ACPI_SUCCESS(AcpiUtEvaluateNumericObject((char*)METHOD_NAME__BBN, + node, &pci_int))) + { + d_printf(DBG_DEBUG, "PCI root bridge with BBN=%llx...\n", pci_int); + have_bbn = true; + } + else + { + d_printf(DBG_DEBUG, "Found PCI root bridge without BBN...\n"); + } if (Pci_root_bridge *rb = pci_root_bridge(0)) { if (rb->host()) @@ -582,9 +598,13 @@ discover_pre_cb(ACPI_HANDLE obj, UINT32 nl, void *ctxt, void **) // we found a second root bridge // create a new root pridge instance rb = new Pci_port_root_bridge(nd); + if (!have_bbn) + d_printf(DBG_ERR, "ERROR: Multiple root bridges without BBN\n"); } else rb->set_host(nd); + if (have_bbn) + rb->num = pci_int; nd->set_discover_bus_if(rb); }

4 4

Pager in Fiasco.OC
by Chen Tian 15 Jun '11

15 Jun '11

Hello, In Fiasco.OC, can we register a distinct pager for each thread? I wonder if l4_thread_control_pager is for this purpose. Thanks, Chen

2 1

Building L4Linux for ARM
by Anna Fischer 15 Jun '11

15 Jun '11

Hi, I am trying to compile/build L4Linux for an ARM-based platform. When I execute make then I get an error saying Makeconf.l4conf cannot be found. These are the steps I have followed to build L4Linux. # cd /root/l4linux # svn co http://svn.tudos.org/repos/oc/l4linux/trunk l4linux # cd l4linux/ # mkdir build # cp arch/l4/configs/arm-mp_defconfig build/.config # make O=build/ oldconfig # make O=build/ menuconfig (set L4 tree build directory to '/root/l4linux/l4linux/build') (de-configure PCI etc) # make O=build/ L4 source directory: /root/l4linux/l4linux PWD=/root/l4linux/l4linux make -C /root/l4linux/l4linux -f /root/l4linux/l4linux/arch/l4/Makefile.l4conf O=/root/l4linux/l4linux/build L4X_LOOP_CHECK=1 OUTPUT=/root/l4linux/l4linux/build/Makeconf.l4conf make[3]: *** No rule to make target `/.config.all', needed by `/root/l4linux/l4linux/build/Makeconf.l4conf'. Stop. make[2]: *** [/root/l4linux/l4linux/build/Makeconf.l4conf] Error 2 GEN /root/l4linux/l4linux/build/Makefile scripts/kconfig/conf --silentoldconfig Kconfig make[2]: *** No rule to make target `/.config.all', needed by `/root/l4linux/l4linux/build/Makeconf.l4conf'. Stop. Creating asm-l4/api-l4env -> asm/api symlink Creating asm-l4/l4lxapi/impl symlink Creating asm-l4/l4x-arm -> asm/l4x symlink Creating asm-l4/l4-arch/asm symlink Creating asm-l4/arm-arch/mach symlink Creating asm-l4/orig-arch symlink make[1]: *** No rule to make target `/root/l4linux/l4linux/build/Makeconf.l4conf', needed by `archprepare'. Stop. make: *** [sub-make] Error 2 My cross-compiler is arm-none-linux-gnueabi-gcc (Sourcery G++ Lite 2011.03-41) 4.5.2. I have successfully used it to also build fiasco + L4Re. Thanks for your help. Anna

2 4

Twl4030 over I2C at BB clone with Fiasco.
by Vasily Sartakov 10 Jun '11

10 Jun '11

Hello. I would like a use twl4030 usb on my BB clone board - devkit8000 and i have some question about it. For do it, shell i add platform initialisation from linux arm/mach-omap2/board-devkit8000 to l4l/arch/l4/kernel/arch-arm ? then change .config to use omap devices, like omap-i2c, twl4030 etc? Thanks -- Sartakov A. Vasily

2 2

Re: L4 on Qualcomm snapdragon chipset?
by joel nider 09 Jun '11

09 Jun '11

Hi Anna, I can confirm that it is possible. The Scorpion processor is fully ARM v7 compliant, and as you said the instruction set is compatible with the Cortex-A8. Of course you will have to write the BSP (in kern/arm/bsp) - I suggest using the realview directory as a template, and modify the files as needed. If you change the Kconfig file, then you can get Snapdragon to show up as a new target. # PF: Snapdragon # PFDESCR: 7x30, 7x27, etc # PFCAN: CAN_ARM_CPU_CORTEX_A8 # PFDEPENDS: ARM Joel On Mon Jun 06, 2011 at 13:55:37 +0100, Anna Fischer wrote: > I was wondering if anyone can confirm that Fiasco will run on a Qualcomm > Snapdragon chipset? > > http://www.arm.com/markets/mobile/qualcomm-snapdragon-chipset.php > > It is based on ARM v7 and similar to the Cortex-8. > > On the Fiasco build (make config) it only shows ARM CPUs. > Thanks, > Anna

1 0

L4 on Qualcomm snapdragon chipset?
by Anna Fischer 07 Jun '11

07 Jun '11

Hi, I was wondering if anyone can confirm that Fiasco will run on a Qualcomm Snapdragon chipset? http://www.arm.com/markets/mobile/qualcomm-snapdragon-chipset.php It is based on ARM v7 and similar to the Cortex-8. On the Fiasco build (make config) it only shows ARM CPUs. Thanks, Anna

3 5

Re: building L4 x86 on cygwin (Adam Lackorzynski)
by joel nider 01 Jun '11

01 Jun '11

Hi Adam, Sorry - I had not installed my GCC correctly. I just wanted to report that by using the following command line: make SYSTEM_TARGET=arm-elf- L4STD_INCDIR=/usr/local/lib/gcc/arm-elf/4.4.3/include/ CONFIG_KERNEL_LOAD_ADDR=0x80000000 I was able to build successfully on Cygwin, and load the kernel image to my device. I am now in the process of debugging the boot sequence. It seems the memory I am loading to is not zero-initialized, and this is causing some issues with non-initialized variables. Also, I don't have a serial port so printf() was crashing while trying to write to the Console. I will write back when I have completed, or get really stuck. Thanks for the support, Joel > Hi, > > On Sun May 22, 2011 at 12:09:56 +0300, joel nider wrote: > > I'm trying to build l4 on cygwin (windows) for x86. I have > built binutils 2.21 and gcc 4.5.2 as cross-compilers (-- > target=i386-elf). When I try to build l4, I pass > SYSTEM_TARGET=i386-elf- as a parameter to 'make'. > > > > Preprocessing seems to complete successfully, but compilation > fails on the first file (kip.cpp). The error message is: > > > > src/kernel/fiasco/src/types/types.h:4:20: fatal error: stddef.h: > No such file or directory > > > > My question is - what is missing? Do I need to build glibc? Or > did I miss something while installing my gcc? > > stddef.h comes with gcc, is it there in your installation? If, in > whichpath is it? > > > > Adam > -- > Adam adam(a)os.inf.tu-dresden.de > Lackorzynski http://os.inf.tu-dresden.de/~adam/

1 0

utcb's address in Fiasco.OC
by Chen Tian 01 Jun '11

01 Jun '11

Hi, Where is the utcb's address of a thread is stored? If I implement a user level thread context switch (i.e., change the contents in registers EIP/ESP and general purpose registers), will a thread lose its utcb pointer? Thanks. Best, Chen

2 1

kmem_alloc: out of kernel memory
by David Silcott 30 May '11

30 May '11

Hi, I've synced my local copy of Pistachio against the latest available and now all of my builds are reporting an out of memory error when I try to run any application, even pingpong or memtest KickStart 0.13.06 Detected multiboot compliant loader kernel (0x00824000-0x0090ad41) => 0x001ef4d0 (0x00824000-0x0083f388) -> 0x00100000-0x0011b388 (0x00840000-0x00840028) -> 0x0011c000-0x0011c028 (0x00841000-0x0084a376) -> 0x0011d000-0x00126376 (0x0084b000-0x008ef0c0) -> 0x00127000-0x001cb0c0 (0x008f0000-0x008f4338) -> 0x001ec000-0x001f0338 sigma0 (0x0090b000-0x0092eb24) => 0x00020000 (0x0090c000-0x00915524) -> 0x00020000-0x00029524 roottask (0x0092f000-0x0093d424) => 0x00400000 (0x00930000-0x00935044) -> 0x00400000-0x00405044 Launching kernel ... L4Ka::Pistachio - built on May 28 2011 21:39:10 by david@andesite using gcc version 3.3.6 --- "KD# kmem_alloc: out of kernel memory" --- --------------------------------- (eip=f010909c, esp=00000000) --- A query of the memory statistics reveals the following: /stats> kmem Kernel memory statistics: Chunk size = 1024 bytes Free chunks = 2 (2KB) Consecutive Number of chunks matches 1 2 2 1 4 0 8 0 16 0 32 0 64 0 128 0 256 0 512 0 1024+ 0 Max consecutive chunks: 2 I get the same results even if I explicitly pass memory values to kickstart: maxmem=1G kmem=128M I have tried several versions of GCC with 3.3.6 being the last but all have reported some form of 'out of memory' error and the error occurs both on qemu and on a physical machine. The processor and memory spcecs of my machine are: CPU: Intel Core 2 duo Memory: 4G Can anyone see what I am doing wrong? I didn't have this problem before updated pistachio I have attached a copy of my config.out file. Regards David

1 1