- l4-hackers - example.com Site

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); 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

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/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/

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/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’ 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 call to a constructor cannot appear in a constant-expression So i can't build, hot to solve this? Thank you, Slex P.S Probably, I sent this email 2 times for a mistake. I'm very sorry

2 1

(no subject)
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/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’ 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 call to a constructor cannot appear in a constant-expression So i can't build, hot to solve this? Thank you, Slex

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 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

Genode OS Framework 11.05 released
by Stefan Kalkowski 26 May '11

26 May '11

Dear L4 hackers, we are pleased to announce the release of version 11.05 of the Genode OS Framework. Genode is an OS architecture that promises to align high security and robustness with dynamic application workloads. It is laid out to run on a number of different microkernels and Linux. After bringing Genode on top of Fiasco.OC with the last release, the new version comprises a lot of new features, and refinements with respect to Fiasco.OC, in particular: * Shared libraries * Signalling framework * ARM RealView PBX-A9 support * x86 64-bit support Moreover, we enabled L4Linux to run on top of Genode. Beside these functionality improvements, we discovered a way to seamlessly integrate Fiasco.OC's and L4Linux build process into Genode's build system. Thereby we drastically simplified the process of developing for Genode/Fiasco.OC. Alongside the improved support of the Fiasco.OC kernel, the new release implies a bunch of new features, and improvements, like: * New API for type-safe inter-process communication * New experimental GDB support * Device-I/O support for MicroBlaze platform * ARM RealView PBX device drivers for input, display, network, and sdcard * New ready-to-use scripts for easy test-driving of various Genode features such as Qt4, lwIP, Noux, L4Linux, GDB Please find a more elaborative description of the changes accompanied with a lot of background information in the release notes of version 11.05: http://genode.org/documentation/release-notes/11.05 The new version is ready for download at our download page at Sourceforge and our public SVN repository: http://genode.org/download Regards -- Stefan Kalkowski Genode Labs http://www.genode-labs.com/ · http://genode.org/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

Questions about Pistachio
by Gregory 26 May '11

26 May '11

I am experimenting with l4 pistachio and i seem to be running into some rather weird problems. 1) when i attempt to create a thread, my thread creation code does seem to work if it is in "main()" however if i move the code into another function an call that function from main, the code works. What happens is that if I attempt to create a thread from "main" when i call "L4_ThreadControl()" the function returns an error value (which is found to be '6'), which indicates that the the UTCB location is invalid. However, the latter does not happen when the exact same thread creation code is in a different function. Now this does not bother me that much, as long as i can still successfully create threads, but, i am a bit curious as to why this happens. 2) the piece of code that i use to create threads (derived from the l4test app), obtains the utcb location of new thread looks like this: L4_Word_t root_utcb = *(*L4_Word_t)&root_local_id; root_utcb &= ~(L4_UtcbAreaSize(kip) - 1); L4_Word_t new_utcb = root_utcb + (L4_UtcbSize(kip) * (L4_ThreadNo(new_tid) - L4_ThreadNo(root_tid))); Now this piece of code works, but, i do not understand why the second line is needed if the local thread id is already equal to the utcb location. Why is this needed? 3) I cannot seem to receive interrupt IPCs. I have seen no code built on pistachio that handle interrupts thus far, so my code looks like this: L4_Thread_t irq; //simple handler function that simply acknowledges the interrupt ipc void handler_func(void) { printf("the handler has been called\n"); L4_Msg_t msg; L4_MsgTag_t tag; L4_Clear(&msg); L4_Load(&msg); tag = L4_Send(irq, L4_TimePeriod(1000000)); if(L4_IpcFailed(tag)) /*prints out the error. ">>1" is used to remove propagation bit printf("the ipc failed with error [%d]", (int)L4_ErrorCode()>>1); } int main() { ... //initialization, etc irq = L4_GlobalId(1,1); //in hopes of getting the keyboard interrupt L4_AssociateInterrupt(irq, handler); //the handler thread is setup ealier L4_Sleep(L4_Never); //so that the code doesn't exit } this piece of code prints out: the handler has been called the ipc failed with error [1] Which base on the v4 reference manual mean "timeout, from is defined in this case". Also if i "sleep" for less than L4_Never the kernel crashes and reports that there is an invalid opcode. Where am i going wrong?

1 1

Pager in the Fiasco.OC.
by Chen Tian 25 May '11

25 May '11

Hello, After a pager resolves a page fault in user space, I assume the reply message, which contains the mapping, should be processed in the kernel (e.g., update page table etc.). Am I right? If so, where can I find the corresponding implementation? Thanks. Best, Chen

2 1

building L4 x86 on cygwin
by joel nider 23 May '11

23 May '11

Hi, 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? Thanks in advance, Joel

2 1

information on interrupt thread convention
by Jason Phillips 21 May '11

21 May '11

hi all, does the interrupt number of interrupt thread correspond to IRQ number? So thread-id for IRQ2 is 0x00008001?

2 9

Freeze L4-thread of Fiasco.OC
by Ivan Bludov 20 May '11

20 May '11

Hello, I intend to freeze some l4-thread from another thread on Fiasco.OC. What have I use for doing this? By investigation I discover that it could be done by l4_thread_schedule on L4Env of Fiasco in past. But this function is obsolete in L4Re. I suggest that process can be frozen by other way. Could you make some advice how to do it? Regards, Ivan Bludov

2 1

JVM port for Fiasco.OC/L4Re
by Nuno Santos 17 May '11

17 May '11

Hello I'd like to ask if you are aware of a JVM port to run natively on Fiasco.OC/L4Re. Apparently, there is a port of Kaffe to DROPS, but its last version is from 2008 and it seems to be stale at the moment. Thank you very much, --Nuno Santos

2 1

build error: No rule to make target crtendS.o
by Guillaume Salagnac 17 May '11

17 May '11

Hi all, I'm trying to compile Fiasco/L4Re for beagleboard from a 64bit macosx host. "make setup" is quite happy, even though it yields a few warnings, but "make" itself chokes on the "No rule to make target ...crtendS.o, needed by libl4sys.so". (full transcript below, the error is at the very bottom) I do know it's the first item in the FAQ, but I can't seem to understand the fix: the ARM target is 32-bit anyway, so why am I getting bitten by these 32-bits/64-bits issues ? I installed pretty much all packages I could think of (several variants of arm-gcc, of gcc, including multilib) but obviously I'm missing something important. Any advice would be greatly appreciated, -Guillaume Salagnac % arm-none-eabi-gcc --version arm-none-eabi-gcc (Linaro GCC 4.5-2011.02-0) 4.5.2 Copyright (C) 2010 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. % make =============== Building all Fiasco configurations ============ ============ Building in obj/fiasco/arm-beagleboard ========= make -C /Users/gsalagnac/prog/L4/fiasco/src/kernel/fiasco/src/../tool/kconfig O=/Users/gsalagnac/prog/L4/fiasco/obj/fiasco/arm-beagleboard Kconfig=Kconfig KCONFIG_AUTOHEADER=globalconfig.h KCONFIG_TRISTATE=config/tristate.conf KCONFIG_CONFIG=globalconfig.out KCONFIG_AUTOCONFIG=config/auto.conf KERNELVERSION=SVN MENUCONFIG_COLOR=blackbg INCLUDE_PPC32= fiasco_srcdir=/Users/gsalagnac/prog/L4/fiasco/src/kernel/fiasco/src/.. oldconfig HOSTCC scripts/basic/fixdep HOSTCC scripts/basic/docproc HOSTCC scripts/kconfig/conf.o HOSTCC scripts/kconfig/kxgettext.o SHIPPED scripts/kconfig/zconf.tab.c SHIPPED scripts/kconfig/lex.zconf.c SHIPPED scripts/kconfig/zconf.hash.c HOSTCC scripts/kconfig/zconf.tab.o In file included from scripts/kconfig/zconf.tab.c:2500:0: /Users/gsalagnac/prog/L4/fiasco/src/kernel/fiasco/tool/kconfig/scripts/kconfig/util.c: In function 'file_lookup': /Users/gsalagnac/prog/L4/fiasco/src/kernel/fiasco/tool/kconfig/scripts/kconfig/util.c:26:13: warning: assignment discards 'const' qualifier from pointer target type [enabled by default] HOSTLD scripts/kconfig/conf scripts/kconfig/conf --oldconfig Kconfig # # configuration written to globalconfig.out # make -C /Users/gsalagnac/prog/L4/fiasco/src/kernel/fiasco/src/../tool/kconfig O=/Users/gsalagnac/prog/L4/fiasco/obj/fiasco/arm-beagleboard Kconfig=Kconfig KCONFIG_AUTOHEADER=globalconfig.h KCONFIG_TRISTATE=config/tristate.conf KCONFIG_CONFIG=globalconfig.out KCONFIG_AUTOCONFIG=config/auto.conf KERNELVERSION=SVN MENUCONFIG_COLOR=blackbg INCLUDE_PPC32= fiasco_srcdir=/Users/gsalagnac/prog/L4/fiasco/src/kernel/fiasco/src/.. silentoldconfig scripts/kconfig/conf --silentoldconfig Kconfig Creating .Modules.deps make srcdir=/Users/gsalagnac/prog/L4/fiasco/src/kernel/fiasco/src objbase=/Users/gsalagnac/prog/L4/fiasco/obj/fiasco/arm-beagleboard -f /Users/gsalagnac/prog/L4/fiasco/src/kernel/fiasco/src/Makefile.sub1 rm -f \ touch .Clean-auto -n Checking compiler config... CHANGED. Recompiling. ... Preprocessing kip ... Preprocessing l4_types ... Preprocessing l4_fpage ... Preprocessing l4_msg_item ... Preprocessing l4_buf_desc ... Preprocessing l4_error ... Preprocessing cpu_mask ... Preprocessing rcupdate ... Preprocessing pages ... Preprocessing kobject_mapdb ... Preprocessing mem_region ... Preprocessing per_cpu_data ... Preprocessing startup ... Preprocessing boot_info ... Preprocessing cmdline ... Preprocessing queue ... Preprocessing queue_item ... Preprocessing l4_buf_iter ... Preprocessing irq_pin ... Preprocessing bitmap ... Preprocessing mapping ... Preprocessing spin_lock ... Preprocessing mapping_tree ... Preprocessing mappable ... Preprocessing dbg_page_info ... Preprocessing mapdb ... Preprocessing pic ... Preprocessing kobject_dbg ... Preprocessing kobject_iface ... Preprocessing kobject ... Preprocessing ready_queue_wfq ... Preprocessing ready_queue_fp ... Preprocessing obj_space ... Preprocessing ptab_base ... Preprocessing ram_quota ... Preprocessing ref_ptr ... Preprocessing ref_obj ... Preprocessing mem_space ... Preprocessing mem_space_sigma0 ... Preprocessing space ... Preprocessing vlog ... Preprocessing kmem ... Preprocessing kmem_alloc ... Preprocessing slab_cache_anon ... Preprocessing mem_layout ... Preprocessing kmem_slab_simple ... Preprocessing kmem_slab ... Preprocessing switch_lock ... Preprocessing kip_init ... Preprocessing thread_lock ... Preprocessing helping_lock ... Preprocessing cpu_lock ... Preprocessing timer ... Preprocessing timeout ... Preprocessing ipc_timeout ... Preprocessing timeslice_timeout ... Preprocessing per_cpu_data_alloc ... Preprocessing vcpu ... Preprocessing kobject_helper ... Preprocessing icu_helper ... Preprocessing thread_state ... Preprocessing context ... Preprocessing mp_lock ... Preprocessing sender ... Preprocessing receiver ... Preprocessing mem_unit ... Preprocessing factory ... Preprocessing lock ... Preprocessing ipc_sender ... Preprocessing thread ... Preprocessing thread_object ... Preprocessing syscalls ... Preprocessing kernel_thread ... Preprocessing map_util ... Preprocessing irq ... Preprocessing banner ... Preprocessing warn ... Preprocessing app_cpu_thread ... Preprocessing dirq ... Preprocessing globals ... Preprocessing watchdog ... Preprocessing kernel_uart ... Preprocessing main ... Preprocessing config ... Preprocessing mapped_alloc ... Preprocessing vmem_alloc ... Preprocessing paging ... Preprocessing fpu ... Preprocessing fpu_state ... Preprocessing fpu_alloc ... Preprocessing cpu ... Preprocessing entry_frame ... Preprocessing kernel_console ... Preprocessing ipc_gate ... Preprocessing task ... Preprocessing kernel_task ... Preprocessing irq_controller ... Preprocessing irq_chip ... Preprocessing terminate ... Preprocessing continuation ... Preprocessing sched_context ... Preprocessing utcb_init ... Preprocessing perf_cnt ... Preprocessing trap_state ... Preprocessing buddy_alloc ... Preprocessing vkey ... Preprocessing kdb_ke ... Preprocessing prio_list ... Preprocessing ipi ... Preprocessing scheduler ... Preprocessing clock ... Preprocessing vm_factory ... Preprocessing sys_call_page ... Preprocessing __main ... Preprocessing mem_op ... Preprocessing pagetable ... Preprocessing kmem_space ... Preprocessing boot_uart_init ... Preprocessing irq_chip_generic ... Preprocessing bootstrap ... Preprocessing kern_lib_page ... Preprocessing jdb_extensions ... Preprocessing outer_cache ... Preprocessing utcb_support ... Preprocessing u_semaphore ... Preprocessing uart_console ... Preprocessing jdb_tbuf ... Preprocessing jdb_tbuf_init ... Preprocessing tb_entry ... Preprocessing jdb_trace ... Preprocessing std_macros ... Preprocessing atomic ... Preprocessing lock_guard ... Preprocessing auto_ptr ... Preprocessing dlist ... Preprocessing sa1100 ... Preprocessing mux_console ... Preprocessing console ... Preprocessing uart ... Preprocessing filter_console ... Preprocessing h3xxx ... Preprocessing io ... Preprocessing mem ... Preprocessing mmu ... Preprocessing reset ... Preprocessing processor ... Preprocessing delayloop ... Preprocessing paranoia ... Preprocessing s_cruft ... Preprocessing jdb_ktrace ... Preprocessing jdb_handler_queue ... Preprocessing jdb_module ... Preprocessing jdb_pic ... Preprocessing jdb ... Preprocessing jdb_core ... Preprocessing jdb_prompt_ext ... Preprocessing jdb_list ... Preprocessing jdb_prompt_module ... Preprocessing jdb_exit_module ... Preprocessing jdb_kern_info ... Preprocessing jdb_tcb ... Preprocessing jdb_screen ... Preprocessing jdb_thread_list ... Preprocessing jdb_input ... Preprocessing jdb_symbol ... Preprocessing jdb_lines ... Preprocessing push_console ... Preprocessing jdb_timeout ... Preprocessing jdb_dump ... Preprocessing jdb_ptab ... Preprocessing jdb_attach_irq ... Preprocessing jdb_table ... Preprocessing jdb_kern_info_kmem_alloc ... Preprocessing jdb_kern_info_kip ... Preprocessing jdb_mapdb ... Preprocessing kern_cnt ... Preprocessing jdb_trace_set ... Preprocessing jdb_entry_frame ... Preprocessing jdb_kobject ... Preprocessing jdb_kobject_names ... Preprocessing jdb_util ... Preprocessing jdb_space ... Preprocessing jdb_utcb ... Preprocessing jdb_trap_state ... Preprocessing jdb_ipi ... Preprocessing jdb_rcupdate ... Preprocessing jdb_ipc_gate ... Preprocessing jdb_obj_space ... Preprocessing jdb_log ... Preprocessing jdb_factory ... Preprocessing jdb_semaphore ... Preprocessing jdb_thread ... Preprocessing jdb_scheduler ... Preprocessing jdb_sender_list ... Preprocessing jdb_perf ... Preprocessing jdb_vm ... Preprocessing jdb_regex ... Preprocessing jdb_disasm ... Preprocessing jdb_bp ... Preprocessing jdb_tbuf_output ... Preprocessing jdb_tbuf_show ... Preprocessing tb_entry_output make srcdir=/Users/gsalagnac/prog/L4/fiasco/src/kernel/fiasco/src objbase=/Users/gsalagnac/prog/L4/fiasco/obj/fiasco/arm-beagleboard -f /Users/gsalagnac/prog/L4/fiasco/src/kernel/fiasco/src/Makefile.sub2 all ... Generating version information ... Making kip.o ... Making kip-debug.o ... Making kip-arm.o ... Making l4_types.o ... Making l4_types-debug.o ... Making l4_fpage.o ... Making l4_msg_item.o ... Making l4_buf_desc.o ... Making l4_error.o ==> Archiving into libabi.a ... Making kernel.arm.lds ... Making crt0.o ... Making kernel_panic.o ... Making libc_backend_lock.o ... Making cpu_mask.o ... Making rcupdate.o ... Making pages.o ... Making kobject_mapdb.o ... Making mem_region.o ... Making per_cpu_data.o ... Making startup.o ... Making startup-arm.o ... Making boot_info.o ... Making boot_info-arch.o ... Making cmdline.o ... Making queue.o ... Making queue_item.o ... Making l4_buf_iter.o ... Making irq_pin.o ... Making bitmap.o ... Making mapping-arm.o ... Making mapping.o ... Making spin_lock.o ... Making spin_lock-arm.o ... Making mapping_tree.o ... Making mappable.o ... Making dbg_page_info.o ... Making mapdb.o ... Making pic.o ... Making pic-arm.o ... Making pic-arm-omap3.o ... Making kobject_dbg.o ... Making kobject_iface.o ... Making kobject.o ... Making ready_queue_wfq.o ... Making ready_queue_fp.o ... Making obj_space.o ... Making obj_space-virt.o ... Making ptab_base.o ... Making ram_quota.o ... Making ref_ptr.o ... Making ref_obj.o ... Making mem_space.o ... Making mem_space-arm.o ... Making mem_space-user.o ... Making mem_space_sigma0.o ... Making space.o ... Making space-arm.o ... Making vlog.o ... Making kmem.o ... Making kmem_alloc.o ... Making kmem_alloc-arm.o /Users/gsalagnac/prog/L4/fiasco/src/kernel/fiasco/src/kern/arm/kmem_alloc-arm.cpp: In constructor 'Kmem_alloc::Kmem_alloc()': /Users/gsalagnac/prog/L4/fiasco/src/kernel/fiasco/src/kern/arm/kmem_alloc-arm.cpp:59:1: warning: the frame size of 536 bytes is larger than 512 bytes [-Wframe-larger-than=] ... Making slab_cache_anon.o ... Making mem_layout.o ... Making mem_layout-arm.o ... Making mem_layout-noncont.o ... Making mem_layout-arm-omap3.o ... Making kmem_slab_simple.o ... Making kmem_slab.o ... Making switch_lock.o ... Making kip_init.o ... Making thread_lock.o ... Making helping_lock.o ... Making cpu_lock.o ... Making cpu_lock-generic.o ... Making timer.o ... Making timer-arm.o ... Making timer-arm-omap3.o ... Making timeout.o ... Making ipc_timeout.o ... Making timeslice_timeout.o ... Making per_cpu_data_alloc.o ... Making vcpu.o ... Making kobject_helper.o ... Making icu_helper.o ... Making thread_state.o ... Making context.o ... Making context-arm.o ... Making context-vcpu.o ... Making mp_lock.o ... Making sender.o ... Making receiver.o ... Making mem_unit.o ... Making factory.o ... Making lock.o ... Making ipc_sender.o ... Making thread.o ... Making thread-arm.o ... Making thread-jdb.o ... Making thread-ipc.o /Users/gsalagnac/prog/L4/fiasco/src/kernel/fiasco/src/kern/thread-ipc.cpp: In member function 'void Thread::do_ipc(const L4_msg_tag&, bool, Thread*, bool, Sender*, L4_timeout_pair, Syscall_frame*, unsigned char)': /Users/gsalagnac/prog/L4/fiasco/src/kernel/fiasco/src/kern/thread-ipc.cpp:744:55: warning: ignoring return value of 'bool Context::switch_exec_locked(Context*, Context::Helping_mode)', declared with attribute warn_unused_result [-Wunused-result] ... Making thread-pagefault.o ... Making thread-log.o ... Making thread-ulock.o ... Making thread-vcpu.o ... Making thread-debug.o ... Making thread_object.o ... Making syscalls.o ... Making syscalls-log.o ... Making kernel_thread.o ... Making kernel_thread-std.o ... Making kernel_thread-arm.o ... Making map_util.o ... Making map_util-mem.o ... Making map_util-objs.o In file included from auto/map_util-objs.cc:3:0: /Users/gsalagnac/prog/L4/fiasco/src/kernel/fiasco/src/kern/map_util.cpp: In function 'L4_error map(MAPDB*, SPACE*, Space*, Page_number, Page_count, SPACE*, Space*, Page_number, bool, unsigned int, unsigned int, typename SPACE::Reap_list**) [with SPACE = Generic_obj_space<Space>, MAPDB = Kobject_mapdb, Page_number = Page_addr<0>, Page_count = Page_addr<0>, typename SPACE::Reap_list = Kobject*]': /Users/gsalagnac/prog/L4/fiasco/src/kernel/fiasco/src/kern/map_util.cpp:515:13: warning: 'mapdb_frame.Kobject_mapdb::Frame::frame' may be used uninitialized in this function [-Wuninitialized] ... Making irq.o ... Making banner.o ... Making warn.o ... Making app_cpu_thread.o ... Making dirq.o ... Making dirq-arm.o ... Making globals.o ... Making watchdog.o ... Making kernel_uart.o ... Making kernel_uart-arm-omap3.o ... Making main.o ... Making config.o ... Making config-arm.o ... Making config-arm-omap3.o ... Making mapped_alloc.o ... Making vmem_alloc.o ... Making vmem_alloc-arch.o ... Making paging-arm.o ... Making paging.o ... Making fpu.o ... Making fpu-arm.o ... Making fpu_state.o ... Making fpu_alloc.o ... Making cpu.o ... Making cpu-arm.o ... Making entry_frame.o ... Making entry_frame-arm.o ... Making entry_frame-abs-timeout-hack.o ... Making kernel_console.o ... Making ipc_gate.o ... Making task.o /Users/gsalagnac/prog/L4/fiasco/src/kernel/fiasco/src/kern/task.cpp: In member function 'virtual void Task::invoke(L4_obj_ref, Mword, Syscall_frame*, Utcb*)': /Users/gsalagnac/prog/L4/fiasco/src/kernel/fiasco/src/kern/task.cpp:408:22: warning: 'guard.Lock_guard_2<Helping_lock>::_state2' may be used uninitialized in this function [-Wuninitialized] ... Making task-arm.o ... Making kernel_task.o ... Making kernel_task-arm.o ... Making irq_controller.o ... Making irq_chip.o ... Making terminate.o ... Making continuation-arm.o ... Making sched_context-wfq.o ... Making sched_context-fixed_prio.o ... Making sched_context-fp_wfq.o ... Making sched_context.o ... Making utcb_init.o ... Making perf_cnt.o ... Making perf_cnt-arm.o ... Making trap_state.o ... Making buddy_alloc.o ... Making vkey.o ... Making kdb_ke.o ... Making kdb_ke-arm.o ... Making prio_list.o ... Making ipi.o ... Making ipi-arm.o ... Making scheduler.o ... Making clock.o ... Making clock-generic.o ... Making vm_factory.o ... Making sys_call_page.o ... Making sys_call_page-arm.o ... Making __main.o ... Making mem_op.o ... Making pagetable.o ... Making pagetable-arch.o ... Making kmem_space.o ... Making boot_uart_init.o ... Making irq_chip_generic.o ... Making bootstrap.o ... Making bootstrap-arm-omap3.o ... Making kern_lib_page.o ... Making jdb_extensions.o ... Making outer_cache.o ... Making utcb_support.o ... Making utcb_support-arm.o ... Making u_semaphore.o ... Making uart_console.o ... Making jdb_tbuf.o ... Making jdb_tbuf_init.o ... Making tb_entry.o ... Making tb_entry-arm.o ... Making jdb_trace.o ... Making dump_tcboffsets ... Making tcboffset.o ==> Linking tcboffset.bin ./dump_tcboffsets tcboffset.bin > tcboffset.h.new mv tcboffset.h.new tcboffset.h ... Making ivt.o ... Making jdb_handler_queue.o ... Making jdb_module.o ... Making jdb_pic.o ... Making jdb.o ... Making jdb-arm.o ... Making jdb-ansi.o ... Making jdb-thread.o ... Making jdb_core.o ... Making jdb_prompt_ext.o ... Making jdb_list.o ... Making jdb_prompt_module.o ... Making jdb_exit_module.o ... Making jdb_kern_info.o ... Making jdb_kern_info-arm.o ... Making jdb_kern_info-bench.o ... Making jdb_kern_info-bench-arm.o ... Making jdb_kern_info-cpu-arm.o /Users/gsalagnac/prog/L4/fiasco/src/kernel/fiasco/src/jdb/arm/jdb_kern_info-cpu-arm.cpp: In member function 'Mword Jdb_kern_info_cpu::mrc(Mword)': /Users/gsalagnac/prog/L4/fiasco/src/kernel/fiasco/src/jdb/arm/jdb_kern_info-cpu-arm.cpp:36:13: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] ... Making jdb_tcb.o ... Making jdb_tcb-arm.o ... Making jdb_screen.o ... Making jdb_thread_list.o ... Making jdb_input.o ... Making jdb_symbol.o ... Making jdb_lines.o ... Making push_console.o ... Making jdb_timeout.o ... Making jdb_dump.o ... Making jdb_ptab.o ... Making jdb_ptab-ia32-ux-arm.o ... Making jdb_ptab-arm.o ... Making jdb_attach_irq.o ... Making jdb_table.o ... Making jdb_kern_info_kmem_alloc.o ... Making jdb_kern_info_kip.o ... Making jdb_mapdb.o ... Making kern_cnt.o ... Making jdb_trace_set.o ... Making jdb_trace_set-arm.o ... Making jdb_entry_frame-arm.o ... Making jdb_kobject.o ... Making jdb_kobject_names.o ... Making jdb_util.o ... Making jdb_space.o ... Making jdb_utcb.o ... Making jdb_trap_state.o ... Making jdb_ipi.o ... Making jdb_rcupdate.o ... Making jdb_ipc_gate.o ... Making jdb_obj_space.o ... Making jdb_log.o ... Making jdb_factory.o ... Making jdb_semaphore.o ... Making jdb_thread.o ... Making jdb_scheduler.o ... Making jdb_sender_list.o ... Making jdb_perf.o ... Making jdb_vm.o ... Making jdb_regex.o ... Making jdb_disasm.o ... Making jdb_bp.o ... Making jdb_tbuf_output.o ... Making jdb_tbuf_show.o ... Making tb_entry_output.o ==> Archiving into jdb_compound.o ... Making std_macros.o ... Making atomic.o ... Making atomic-arm-up.o ... Making lock_guard.o ... Making auto_ptr.o ... Making dlist.o ==> Archiving into libk.a ... Making sa1100.o ... Making mux_console.o ... Making console.o ... Making uart.o ... Making uart-arm-omap3.o ... Making filter_console.o ... Making h3xxx.o ... Making io.o ... Making io-arm.o ... Making mem.o ... Making mem-arm.o ... Making mmu.o ... Making mmu-arm.o ... Making reset-arm-omap3.o ... Making processor.o ... Making processor-arm.o ... Making delayloop.o ==> Archiving into libdrivers.a ... Making uart_omap35x.o ==> Archiving into libuart.a ... Making paranoia.o ... Making s_cruft.o ==> Archiving into libcxx.a ... Making atexit.o ... Making memccpy.o ... Making memcmp.o ... Making memmove.o ... Making memset.o ... Making memcpy.o ... Making memchr.o ... Making panic.o ... Making strchr.o ... Making strcmp.o ... Making strcpy.o ... Making strlen.o ... Making strncmp.o ... Making strncpy.o ... Making strstr.o ... Making __assert_fail.o ... Making printf.o ... Making __v_printf.o ... Making vprintf.o ... Making strtol.o ... Making strtoul.o ... Making __lltostr.o ... Making __ltostr.o ... Making putchar.o ... Making puts.o ... Making getchar.o ... Making gets.o ... Making construction.o ... Making sprintf.o ... Making snprintf.o ... Making vsnprintf.o ... Making vsprintf.o ... Making longjmp.o ... Making isalnum.o ... Making isalpha.o ... Making isascii.o ... Making isblank.o ... Making iscntrl.o ... Making isdigit.o ... Making isgraph.o ... Making islower.o ... Making isprint.o ... Making ispunct.o ... Making isspace.o ... Making isupper.o ... Making isxdigit.o ... Making strspn.o ... Making strcspn.o ... Making tolower.o ... Making raise.o ... Making aeabi.o ... Making setjmp.o ==> Archiving into libc.a ... Making glue_libc.o ==> Archiving into libgluedriverslibc.a ==> Linking fiasco.image ==> Linking fiasco chmod 755 fiasco arm-linux-nm fiasco.image | c++filt | sort > Symbols.new mv Symbols.new Symbols chmod 755 Symbols ... Making jdb_ktrace.o ==> Archiving into libjabi.a --> Build-Nr: 1 =============== Building all L4Re configurations ============ ============ Building in obj/l4/arm-beagleboard ========= make[5]: Nothing to be done for `all'. ... Compiling /Users/gsalagnac/prog/L4/fiasco/obj/l4/arm-beagleboard/tool/elf-patcher/elf-patcher Makefile:97: /Users/gsalagnac/prog/L4/fiasco/obj/l4/arm-beagleboard/pkg/.Package.deps: No such file or directory make[4]: Circular ldscripts <- ldscripts dependency dropped. === Building package "ldscripts" === ... Building /Users/gsalagnac/prog/L4/fiasco/obj/l4/arm-beagleboard/pkg/ldscripts/.general.d ... Building .general.d ... Building Makefile.inc ... Generating main_stat.ld ==> Installing main_stat.ld to local build-tree ... Generating main_rel.ld ==> Installing main_rel.ld to local build-tree ... Generating main_dyn.ld ==> Installing main_dyn.ld to local build-tree ... Compiling crti.o ==> Installing crti.o to local build-tree ... Compiling crtn.o ==> Installing crtn.o to local build-tree ... Compiling crt1.o ==> Installing crt1.o to local build-tree ... Compiling crti.s.o ==> Installing crti.s.o to local build-tree ... Compiling crtn.s.o ==> Installing crtn.s.o to local build-tree ... Compiling crt1.s.o ==> Installing crt1.s.o to local build-tree === Building package "l4sys" === ... Building /Users/gsalagnac/prog/L4/fiasco/obj/l4/arm-beagleboard/pkg/l4sys/include/.general.d ... Updating symlinks ... Building /Users/gsalagnac/prog/L4/fiasco/obj/l4/arm-beagleboard/pkg/l4sys/lib/src/.general.d ... Building .general.d ... Building Makefile.inc ... Compiling utcb.o ... Compiling errtostr.o ... Compiling ARCH-arm/atomic_ops_s.o ==> Archiving into libl4sys.a ==> "libl4sys.a" built make[8]: *** No rule to make target `/opt/armgcc/lib/gcc/arm-none-eabi/4.5.2//crtendS.o', needed by `libl4sys.so'. Stop. make[7]: *** [/Users/gsalagnac/prog/L4/fiasco/obj/l4/arm-beagleboard/pkg/l4sys/lib/src/OBJ-arm_armv6-l4f] Error 2 make[6]: *** [src] Error 2 make[5]: *** [lib] Error 2 make[4]: *** [l4sys] Error 2 make[3]: *** [pkg] Error 2 make[2]: *** [x] Error 2 Error building the L4Re 'obj/l4/arm-beagleboard' variant. Press RETURN to continue with other variants.

2 1

CFP: SSV 2011 - Workshop on Systems Software Verification [deadline extended]
by Hendrik Tews 17 May '11

17 May '11

[The deadline for abstract submissions has just been extended to May 29th. My apologies if you receive multiple copies of this CfP -- Hendrik Tews] ============================================================================= 6th International Workshop on Systems Software Verification (SSV 2011) Real Software, Real Problems, Real Solutions August 26-27 2011, Nijmegen, The Netherlands https://es.fbk.eu/events/ssv2011 Industrial-strength software analysis and verification has advanced in recent years through the introduction of model checking, automated and interactive theorem proving, and static analysis techniques as well as correctness by design, correctness by contract, and model-driven development. However, many techniques are working under restrictive assumptions which are invalidated by complex (embedded) system software such as operating system kernels, low-level device drivers or microcontroller code. The aim of this workshop is to bring together researchers and developers from both academia and industry, who are facing real software and real problems to find real, applicable solutions. By "real" we mean problems such as time-to-market or reliability that the industry is facing and is trying to fix in software that is deployed in the market place. A real solution is one that is applicable to the problem in industry and not one that only applies to an abstract, academic toy version of it. This forum will discuss software analysis/development techniques and tools; it will also serve as a platform to discuss open problems and future challenges in dealing with existing and upcoming systems level code. Topics include (but are not limited to): * model checking * automated and interactive theorem proving * static analysis * model-driven development * embedded systems development * automated testing * programming languages * verifying compilers * software certification * software tools * experience reports Submissions must be made electronically through the EasyChair system [1] until May 29 2011, 23:59h Samoan time. Papers should be up to 15 pages in pdf format and formatted in LNCS style [2]. Additional details may be included in a clearly marked appendix, which will be read at the discretion of the program committee. All will be subject to peer review under normal conference standards. Experience reports and papers on work in progress are welcome as long as there is a clear contribution. Submissions which are based or discuss a non-trivial piece of software are required to make all those non-standard software parts available, which a referee may need, in order to check the claims of the submission. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated. The workshop proceedings are planned to be published in the form of post-proceedings in the Springer series Lecture Notes in Computer Science (LNCS). Important dates May 29 2011 Abstract Registration Deadline June 03 2011 Paper submission deadline June 30 2011 Notification of accepted papers July 15 2011 Final version August 26-27 2011 Workshop The workshop is organized as a two-day workshop (August 26-27 2011). Location The workshop will be held in Nijmegen, The Netherlands in conjunction with the 2nd International Conference on Interactive Theorem Proving (ITP 2011). Program Chair Jörg Brauer (RWTH Aachen University, Germany) Marco Roveri (FBK-irst, Italy) Hendrik Tews (TU Dresden, Germany) Steering Committee Ralf Huuck (NICTA, Australia) Gerwin Klein (NICTA, Australia) Bastian Schlich (ABB Corporate Research, Germany) Program Committee Dirk Beyer (University of Passau, Germany) Jörg Brauer (RWTH Aachen University, Germany) Adam Chlipala (Harvard, USA) Ansgar Fehnker (NICTA, Australia) Alexey Gotsman (IMDEA, Spain) Chris Hawblitzel (Microsoft Research, USA) Andy King (University of Kent, UK) Stefan Kowalewski (RWTH Aachen University, Germany) Thomas Kropf (Bosch, Germany) Kim G. Larsen (Aalborg University, Denmark) Wolfgang Reif (University of Augsburg, Germany) Marco Roveri (FBK-irst, Italy) Axel Simon (TU Munich, Germany) Nishant Sinha (NEC Labs, USA) Hendrik Tews (TU Dresden, Germany) Michael Whalen (UMSEC -- University of Minnesota, USA) Kwangkeun Yi (Seoul National University, Korea) Invited Speakers Following a tradition established over the past iterations of SSV, this years workshop will feature at least two keynote talks. The invited speakers will be announced soon. [1] http://www.easychair.org/conferences/?conf=ssv2011 [2] http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

1 0

L4 on ARM: cache coherency and virtual address space
by Michal Schulz 11 May '11

11 May '11

Hello, I am implementing an USB stack for ARM machine maintained by the L4 microkernel. It works quite well at the moment - USB hubs and HID devices are working properly. However, there are few open issues there: 1. Since ARM machine I use does not provide cache snooping, i.e. I have to flush/invalidate the caches manually, I've attempted to use the l4_cache_dma_coherent function. It did worked to some degree, but it flushed/invalidated only *some* lines of cache within requested region, instead of *all* lines of cache. Since I've failed to trace the bug, I've extended sigma0 with new functionality - ability to map uncached memory. I still don't like my hack though and I would like to find an official way to either change the attributes (from cached to uncached) of given page, or have fully working l4_cache_dma_coherent. 2. The USB stack is a multithreaded app where I would like to have different servers (e.g. server for HID input events, server for mass storage devices). Unfortunately a server seemed to work only when started from the main thread. Why is it so? Was that my fault? 3. When the mass storage server receives either read or write call, it needs to map caller's memory in uncached manner. Moreover, USB stack needs *physical* address of the caller's buffer. How can I find that out? with best regards, Michal. -- Michal Schulz

2 3