l4-hackers June 2011

l4-hackers@os.inf.tu-dresden.de

15 participants
16 discussions

the booting error of l4linux
by cheng guanghui 02 Jul '11

02 Jul '11

Hello: I downloaded the latest l4re-snapshot-2011062216. All the compilation is ok. The hello demo could boot successfully. But when i try to boot L4Linux with this command : make qemu E=L4Linux-mag-x86 O=/home/cheng/TUDOS/Src/l4re-snapshot-2011062216/obj/l4/x86 There are some errors as following: Allocate cpu_mem @ 0xfc54c000 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 … [View More]Absolute KIP Syscalls using: Sysenter CPU[0:0]: GenuineIntel (6:3:3:0)[00000633] Model: Pentium II (Klamath) at 2395 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;18bfff] [0:18c000;2dcfff] [4:2dd000;2ddfff] [0:2de000;3fffff] [0:465000;136cfff] [4:136d000;166ffff] [0:1670000;1614bfff] IOMEM:---------------------- [0:0;fff] [0:9f000;fffff] [0:17ffd000;febfffff] [0:fec01000;fedfffff] [0:fee01000;ffffffff] IO PORTS-------------------------- [0:0;fffffff] MOE: Hello world MOE: found 357544 KByte free memory MOE: found RAM from 1000 to 1614c000 MOE: allocated 353 KByte for the page array @0x1000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:501000] BOOTFS: [136d000-1470e6d] [C:503000] l4re BOOTFS: [1471000-166e572] [C:504000] ned BOOTFS: [166f000-166f578] [C:505000] l4lx-gfx.cfg MOE: cmdline: /home/cheng/TUDOS/Src/l4re-snapshot-2011062216/obj/l4/x86/bin/x86_586/l4f/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 | L4Re: FATAL: Exception No such object found: 'rom/io' io | Exception: No such object found: rom/io: backtrace ... fb-drv | L4Re: FATAL: Exception No such object found: 'rom/fb-drv' fb-drv | Exception: No such object found: rom/fb-drv: backtrace ... mag | L4Re: FATAL: Exception No such object found: 'rom/mag' mag | Exception: No such object found: rom/mag: backtrace ... Ned[lua]: Hm, cpapbility 430000 does not support the meta protocol: -2004 Ned: ERROR: rom/l4lx-gfx.cfg:54: attempt to call method 'create' (a nil value) Do i miss something else? Thanks a lot. Warm regards. Cheng Guanghui [View Less]

2 6

pthread_exit in L4re
by Chen Tian 30 Jun '11

30 Jun '11

Hello, I want a thread to exit after it finishes its job. The function pthread_exit seems not working. I still can see all threads I created through kernel debugger. Any idea? Best, Chen

2 1

Nokia N900 and Fiasco.OC/l4re
by Valery V. Sedletski 29 Jun '11

29 Jun '11

Hi all Is there a possibility to use Fiasco.OC and L4Re with L4Linux on Nokia N900 internet tablet/phone? Which ARM platform it is compatible with, if so? -- It is based on ARM Cortex A8 600 MHz processor, 256 Mb RAM and 784 Mb swap, Maemo (Debian GNU/Linux based) platform (see http://www.gsmarena.com/nokia_n900-2917.php, for example). Or, if not so, is it possible to use it with Genode or OKL4? WBR, valery

3 6

bbclone fbdrv lcd problem
by Vasily Sartakov 24 Jun '11

24 Jun '11

Hello. I try to start ex_fb_spectrum example on beagleboard clone with 7" 480x800 LCD and have error in fbdrv//lcd-omap3.c: when a i call any l4vbus_i2c* and l4vbus_gpio function i have return -38 --- ENOSYS error whats may be wrong? my configs: -------------------------------------- arm-rv-lcd-io: gui => new System_bus() { # KBD => wrap(hw-root.KBD); # MOUSE => wrap(hw-root.MOUSE); } fbdrv => new System_bus() { sys => wrap(hw-root.sys); lcd => wrap(hw-root.lcd); … [View More]i2c1 => wrap(hw-root.i2c1); gpio => wrap(hw-root.gpio); } ------------------------------------- arm-rv-lcd-cfg require("L4"); local l = L4.default_loader; local io_buses = { gui = l:new_channel(); fbdrv = l:new_channel(); }; l:start({ caps = { gui = io_buses.gui:svr(), fbdrv = io_buses.fbdrv:svr(), icu = L4.Env.icu, sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0), }, log = { "IO", "y" }, l4re_dbg = L4.Dbg.Warn, }, "rom/io rom/arm-omap3-full.devs rom/arm-rv-lcd.io"); local fbdrv_fb = l:new_channel(); l:startv({ caps = { vbus = io_buses.fbdrv, fb = fbdrv_fb:svr(), }, log = { "fbdrv", "r" }, l4re_dbg = L4.Dbg.Warn, }, "rom/fb-drv", "-c", "init"); local mag_caps = { mag = l:new_channel(), svc = l:new_channel(), }; l:start({ caps = { vbus = io_buses.gui, fb = fbdrv_fb, mag = mag_caps.mag:svr(), svc = mag_caps.svc:svr(), }, log = { "mag", "g" }, l4re_dbg = L4.Dbg.Warn, -- scheduler = L4.Env.user_factory:create(L4.Proto.Scheduler, 0xa0, 0x80), }, "rom/mag"); e = l:start({ caps = { fb = mag_caps.svc:create(L4.Proto.Goos, "g=480x480"), }, log = { "spectrum", "b" }, l4re_dbg = L4.Dbg.Warn, -- scheduler = L4.Env.user_factory:create(L4.Proto.Scheduler, 0x18, 0x8), }, "rom/ex_fb_spectrum"); print("ex_fb_spectrum exited with: " .. e:wait()); ------------------------------------ arm-omap3-full.devs: hw-root { sys => new Device() { .hid = "System Control"; new-res Mmio(0x48002000 .. 0x48002fff); new-res Mmio(0x48004000 .. 0x48004fff); } prcm => new Device() { .hid = "OMAP PRCM qq"; new-res Mmio(0x48000000 .. 0x48000fff); new-res Mmio(0x48001000 .. 0x48001fff); new-res Mmio(0x48002000 .. 0x48002fff); new-res Mmio(0x48003000 .. 0x48003fff); new-res Mmio(0x48004000 .. 0x48004fff); new-res Mmio(0x48005000 .. 0x48005fff); } gpio => new Device() { .hid = "gpio"; new-res Mmio(0x48004000 .. 0x48004fff); new-res Mmio(0x48310000 .. 0x48310fff); new-res Mmio(0x49050000 .. 0x49050fff); new-res Mmio(0x49052000 .. 0x49052fff); new-res Mmio(0x49054000 .. 0x49054fff); new-res Mmio(0x49056000 .. 0x49056fff); new-res Mmio(0x49058000 .. 0x49058fff); } lcd => new Device() { .hid = "OMAP_LCD"; new-res Mmio(0x48050000 .. 0x48050fff); } i2c1 => new Device() { .hid = "i2c"; new-res Mmio(0x48070000 .. 0x48070fff); } } -- Sartakov A. Vasily [View Less]

2 4

RE: L4Re build error
by Slex Sangiuliano 19 Jun '11

19 Jun '11

I have linked in this way (in /usr/bin): ln -s g++-4.5 g++ ln -s cpp-4.5 cpp ln -s gcc-4.5 gcc (i have previously removed the links to gcc-45, g++-4.5 and cpp-4.5) but the error is the same: In file included from /home/alex/l4env/include/contrib/libstdc++-v3/bits/stl_algobase.h:71:0, from /home/alex/l4env/include/contrib/libstdc++-v3/memory:53, from /home/alex/src/l4/pkg/libstdc++-v3/contrib/libstdc++-v3-4.1.0/src/allocator-inst.cc:34: /home/alex/l4env/… [View More]include/contrib/libstdc++-v3/bits/cpp_type_traits.h:358:12: error: expected identifier before ‘__is_pod’ /home/alex/l4env/include/contrib/libstdc++-v3/bits/cpp_type_traits.h:358:12: error: expected unqualified-id before ‘__is_pod’ /home/alex/l4env/include/contrib/libstdc++-v3/bits/cpp_type_traits.h:371:12: error: expected identifier before ‘__is_empty’ /home/alex/l4env/include/contrib/libstdc++-v3/bits/cpp_type_traits.h:371:12: error: expected unqualified-id before ‘__is_empty’ make[4]: Entering directory `/home/alex/src/l4/pkg/drivers-frst/nand/src' In file included from /home/alex/l4env/include/contrib/libstdc++-v3/memory:60:0, from /home/alex/src/l4/pkg/libstdc++-v3/contrib/libstdc++-v3-4.1.0/src/allocator-inst.cc:34: /home/alex/l4env/include/contrib/libstdc++-v3/limits:1067:9: error: a cast to a type other than an integral or enumeration type cannot appear in a constant-expression /home/alex/l4env/include/contrib/libstdc++-v3/limits:1080:51: error: ‘std::numeric_limits<double>::is_iec559’ cannot be initialized by a non-constant expression when being declared make[5]: *** [allocator-inst.o] Error 1 now gcc -v says 4.5.3 > Date: Sun, 19 Jun 2011 17:15:09 +0200 > From: adam(a)os.inf.tu-dresden.de > To: alex22_7(a)hotmail.com > Subject: Re: L4Re build error > > > On Sun Jun 19, 2011 at 14:52:43 +0000, Slex Sangiuliano wrote: > > > > more information: > > Platform x86 (pentium D, but in config i choose i686) > > I'm building on 32 bit enviroment (Debian Wheezy, > > the error occurs also on Fedora 15, in FreeBSD 8.2 i get another kind > > of error during gmake O=/home/alex/build config). > > On Debian the > > version of gcc is 4.6.1. (On FreeBSD 4.2.1). I prefer to build on > > Debian, so it, for now, is the reference system. > > Thank you again > > > > P.S: I sent this message after my first message, but for network problem, now solved, it never comes > > So after that i read your response i add another question: I need a specific compiler? if yes what is the best Operating System that has that compiler? > > Ah, 4.6 explains it. 4.6 will be support on the next release. For now > 4.5 will do, which is also available on wheezy. > > > > Adam > -- > Adam adam(a)os.inf.tu-dresden.de > Lackorzynski http://os.inf.tu-dresden.de/~adam/ [View Less]

2 2

L4Re build error
by Slex Sangiuliano 19 Jun '11

19 Jun '11

Hi, I have a build problem: In file included from /home/alex/l4env/include/contrib/libstdc++-v3/bits/stl_algobase.h:71:0, from /home/alex/l4env/include/contrib/libstdc++-v3/memory:53, from /home/alex/src/l4/pkg/libstdc++-v3/contrib/libstdc++-v3-4.1.0/src/allocator-inst.cc:34: /home/alex/l4env/include/contrib/libstdc++-v3/bits/cpp_type_traits.h:358:12: error: expected identifier before ‘__is_pod’ /home/alex/l4env/include/contrib/libstdc++-v3/bits/… [View More]

2 1

(no subject)
by Slex Sangiuliano 19 Jun '11

19 Jun '11

1 0

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 … [View More]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 [View Less]

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 … [View More]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); } [View Less]

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

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

l4-hackers June 2011