- l4-hackers - example.com Site

Re: l4-hackers Digest, Vol 59, Issue 7
by Valery V. Sedletski 09 Mar '08

09 Mar '08

On Sat, 08 Mar 2008 12:00:01 +0100, l4-hackers-request(a)os.inf.tu-dresden.de wrote: > > Quite old but anyway. It would be interesting to know where 0x004019e0 > is in the vmlinux binary. So please look up the address with > objdump -ld vmlinux > and see what .c files and which line in there are mentioned around the > address. Then please look it up in the source and show me the function > where this happens. As 2.6.17 is quite old it probably won't match with > the current source I use. > It is around: mnt/data1/src/drops/build/include/x86/l4/util/util.h:84 4019e0: 83 0a 00 orl $0x0,(%edx) So it is the function: /** Touch data areas to force mapping read-write */ static inline void l4_touch_rw(const void*addr, unsigned size) { const char *bptr, *eptr; bptr = (const char*)(((unsigned)addr) & L4_PAGEMASK); eptr = (const char*)(((unsigned)addr+size-1) & L4_PAGEMASK); for(;bptr<=eptr;bptr+=L4_PAGESIZE){ asm volatile("or $0,%0 \n" : : "m" (*(const unsigned*)bptr) ); } } And instruction "orl" is inside "asm volatile" block. So, this function touches an area (BSS in this case) to make mapping read-write. But why this does not work? > > Adam > -- > Adam adam(a)os.inf.tu-dresden.de > Lackorzynski http://os.inf.tu-dresden.de/~adam/ >

2 1

L4Linux: pagefault at the beginning of BSS area
by Valery V. Sedletski 08 Mar '08

08 Mar '08

hi all! I compiled myself l4linux and tried to start it, but something goes wrong. When the linux server starts, a page fault occurs at the beginning of its BSS area. The log is the following: [===============================================] L4 Bootstrapper Scaning (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco -nowait -nokdb -serial -jdb_never_stop -tbuf_entries=32768 -jdb_cmd=JH Scaning (nd)/tftpboot/drops/bin/x86_586/l4v2/sigma0 Scaning (nd)/tftpboot/drops/bin/x86_586/l4v2/roottask task sigma0 boot_priority 0xA0 task roottask boot_priority 0xA0 task modname "names" boot_priority 0xA0 task modname "log" boot_priority 0xA1 task modname "dm_phys" boot_priority 0xA0 task modname "simple_ts" boot_priority 0xA0 task modname "l4io" allow_cli boot_priority 0xA3 task modname "rtc" allow_cli task modname "l4con" allow_cli task modname "l4exec" boot_priority 0xA0 task modname "loader" allow_cli boot_priority 0xA0 task modname "vmlinuz26" task modname "bmodfs" attached 4 modules Relocated mbi to [0x64000-0x64a22] Loading (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco Loading (nd)/tftpboot/drops/bin/x86_586/l4v2/sigma0 Loading (nd)/tftpboot/drops/bin/x86_586/l4v2/roottask find kernel info page... found kernel info page at 0x1000 API Version: (87) experimental Sigma0 config ip:00090000 sp:00105100 [00090000-00096d44] Roottask config ip:00120000 sp:00108528 [00120000-002bda14] [00001000-00002000) (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco [00002000-00055980) (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco [00055980-0005e290) (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco [0005f000-00062230) (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco [00062240-00064000) (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco [00090000-000948dc) (nd)/tftpboot/drops/bin/x86_586/l4v2/sigma0 [000958e0-00096d44) (nd)/tftpboot/drops/bin/x86_586/l4v2/sigma0 [0009f000-00100000) BIOS area [00100000-00108764) bootstrap [00120000-00133190) (nd)/tftpboot/drops/bin/x86_586/l4v2/roottask [00134000-0013e67e) (nd)/tftpboot/drops/bin/x86_586/l4v2/roottask [0013f680-002bda14) (nd)/tftpboot/drops/bin/x86_586/l4v2/roottask [00300000-00301a40) (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco [00302000-0038f408) (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco [02000000-036b3174) Modules Memory [10000000-ffffffff) Deep Space Starting kernel (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco at 00300878 [1;32mWelcome to Fiasco(ia32)! [0;32mDD-L4(v2)/x86 microkernel (C) 1998-2006 TU Dresden Rev: Mon Aug 28 08:34:51 2006 compiled with gcc 3.3.1 for Intel Pentium[0m [31mPerformance-critical config option(s) detected: CONFIG_ASSEMBLER_IPC_SHORTCUT is off CONFIG_NDEBUG is off [m Enabling special fully nested mode for PIC Using the PIT (i8254) on IRQ 0 for scheduling Absolute KIP Syscalls using: Sysenter CPU: GenuineIntel (6:3:3:0) Model: Unknown CPU at 735 MHz 8 KB L1 I Cache (4-way associative, 32 bytes per line) Freeing init code/data: 20480 bytes (5 pages) [6nSIGMA0: Hello! Found Fiasco: KIP syscalls: yes. Allocated 132kB for maintenance structures. Roottask. Command line found: "(nd)/tftpboot/drops/bin/x86_586/l4v2/roottask task sigma0 boot_priority 0xA0 task roottask boot_priority 0xA0 task modname "names" boot_priority 0xA0 task modname "log" boot_priority 0xA1 task modname "dm_phys" boot_priority 0xA0 task modname "simple_ts" boot_priority 0xA0 task modname "l4io" allow_cli boot_priority 0xA3 task modname "rtc" allow_cli task modname "l4con" allow_cli task modname "l4exec" boot_priority 0xA0 task modname "loader" allow_cli boot_priority 0xA0 task modname "vmlinuz26" task modname "bmodfs" attached 4 modules" 261759kB ( 255MB) total RAM (reported by bootloader) 215872kB ( 211MB) received RAM from Sigma0 24376kB ( 24MB) reserved RAM for RMGR Received I/O ports 0000-ffff Attached irqs = [ <!0> 1 <!2> 3 4 5 6 7 8 9 A B C D E F ] Roottask: Parsing command line config. configured task 0x02 (): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 configured task 0x04 (): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (names): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (log): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:a1 small:ff mods:0 configured task 0x00 (dm_phys): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (simple_ts): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (l4io): vm_offs:0 irq:ffff lmcp:ffff allow_cli:1 mcp:ff prio:a3 small:ff mods:0 configured task 0x00 (rtc): vm_offs:0 irq:ffff lmcp:ffff allow_cli:1 mcp:ff prio:10 small:ff mods:0 configured task 0x00 (l4con): vm_offs:0 irq:ffff lmcp:ffff allow_cli:1 mcp:ff prio:10 small:ff mods:0 configured task 0x00 (l4exec): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (loader): vm_offs:0 irq:ffff lmcp:ffff allow_cli:1 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (vmlinuz26): configured task 0x00 (bmodfs): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:4 Roottask: Loading 14 modules. [36m#05: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/names" [m from [[37m02085000[m-[37m0208e174[m] to [002d0000-002d616a][002d7000-002e3000] entry at [37m0005f384[m via trampoline page code [36m#06: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/log --prio 0xA1" [m from [[37m0208f000[m-[37m02097354[m] to [00400000-00406c8a][00407000-00439890] entry at [37m00060390[m via trampoline page code [36m#07: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/dm_phys --isa=0x00800000" [m from [[37m02098000[m-[37m020ac174[m] to [01500000-01511dea][01512000-0151c000] entry at [37m00061398[m via trampoline page code [36m#08: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/simple_ts -t 900" [m from [[37m020ad000[m-[37m020b7354[m] to [01400000-0140854a][01409000-0141b050] entry at [37m00062390[m via trampoline page code [36m#09: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/rtc" [m from [[37m020b8000[m-[37m020bf174[m] to [01080000-01084200][01085000-0108a000] entry at [37m00063384[m via trampoline page code [36m#0a: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/l4io --noirq" [m from [[37m020c0000[m-[37m0210f174[m] to [00b80000-00ba2a32][00ba3000-00bf0000] entry at [37m0006538c[m via trampoline page code [36m#0b: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/bmodfs" [m from [[37m02110000[m-[37m02128174[m] to [01220000-012354ee][01236000-01256000] passing module (nd)/tftpboot/cfg/l4linux26.cfg [ 02129000-021290d2 ] passing module drops/bin/x86_586/l4v2/libloader.s.so [ 0212a000-021c8755 ] passing module boot/drops/bin/x86_586/l4v2/vmlinuz26 [ 021c9000-03205e3b ] passing module (nd)/tftpboot/drops/bin/rd/initrd.gz [ 03206000-03606000 ] entry at [37m00066470[m via trampoline page code [36m#0c: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/l4con --l4io" [m from [[37m03606000[m-[37m0365a174[m] to [00b00000-00b4d35e][00b4e000-00b79000] entry at [37m0006738c[m via trampoline page code [36m#0d: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/l4exec" [m from [[37m0365b000[m-[37m03689174[m] to [01100000-0112b80a][0112c000-0114e000] entry at [37m00068384[m via trampoline page code [36m#0e: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/loader --fprov=BMODFS l4linux26.cfg" [m from [[37m0368a000[m-[37m036b3174[m] to [01300000-01326272][01327000-0134f000] entry at [37m000693a4[m via trampoline page code rtc | Date:01.03.2008 Time:23:02:14 con | Using fast memcpy. simplets| parse_args(): Too many tasks (900) -- limiting to 891! simplets| Configured for 891 tasks. io | do_args(): Disabling internal IRQ handling. io | PCI: Using configuration type 1 io | PCI: Probing PCI hardware io | PCI: Probing PCI hardware (bus 00) io | PCI: PIIX3: Enabling Passive Release on 00:01.0 io | Limiting direct PCI/PCI transfers. io | Activating ISA DMA hang workarounds. io | 00000000-ffffffff : PCI mem io | f0000000-f1ffffff : Cirrus Logic GD 5446 io | f2000000-f2000fff : Cirrus Logic GD 5446 io | 0000-ffff : PCI IO io | 0cf8-0cff : PCI conf1 io | c000-c00f : Intel Corp. 82371SB PIIX3 IDE [Natoma/Triton II] io | c100-c1ff : Realtek Semiconductor Co., Ltd. RTL-8029(AS) con | Character size is 8x14, font has 256 characters con | VESA reports 800x600@16 1600bpl (00bb) [4096kB] con | Color mapping: red=11:5 green=5:6 blue=0:5 res=0:0 con | No supported accelerated graphics card detected io | Remapping I/O memory f0000000-f0400000 cached con | Mapped I/O video mem f0000000 => 02000000+000000 [4096kB] via l4io con | Using MMXEXT for colorspace transform con | L4INPUT: !!! W A R N I N G !!! con | L4INPUT: Please, do not use Fiasco's "-esc" with L4INPUT. con | L4INPUT: !!! W A R N I N G !!! con | L4INPUT: Registered 0xb03c80 for callbacks. con | serio: i8042 AUX port at 0x60,0x64 irq 12 con | serio: i8042 KBD port at 0x60,0x64 irq 1 con | input: ImExPS/2 Generic Explorer Mouse on isa0060/serio1 con | input: AT Translated Set 2 keyboard on isa0060/serio0 con | input: PC Speaker con | input: L4 input event injector con | L4 input event injector: IRQ handler up con | connect "ImExPS/2 Generic Explorer Mouse", isa0060/serio1/input0 con | connect "AT Translated Set 2 keyboard", isa0060/serio0/input0 con | connect "PC Speaker", isa0061/input0 con | connect "L4 input event injector", l4/sys con | Running as C.02. Video mode is 800x600@16. bmodfs | Passed the following modules: bmodfs | module "(nd)/tftpboot/cfg/l4linux26.cfg" (1kB) bmodfs | module "(nd)/tftpboot/drops/bin/x86_586/l4v2/libloader.s.so" (634kB bmodfs : ) bmodfs | module "(nd)/tftpboot/drops/bin/x86_586/l4v2/vmlinuz26" (16628kB) bmodfs | module "(nd)/tftpboot/drops/bin/rd/initrd.gz" (4096kB) loader | sleeping for 2000 ms exec | vmlinuz26: Loading exec | vmlinuz26: Interpreter section found, contains "/usr/lib/libc.so.1" exec | vmlinuz26: Saved 910939 bytes of symbols exec | libloader.s.so: Loading exec | libloader.s.so: Saved 26701 bytes of symbols exec | libloader.s.so: Relocating to 00010000 exec | libloader.s.so: Linking exec | libloader.s.so: Symbol mmap_normal is weak and undefined exec | libloader.s.so: Symbol munmap_normal is weak and undefined exec | libloader.s.so: Symbol mmap_normal is weak and undefined exec | libloader.s.so: Symbol munmap_normal is weak and undefined exec | libloader.s.so: Relocating entry 00005df0 => 00015df0 exec | libloader.s.so: Setting section flag 0800 exec | vmlinuz26: Setting section flag 0800 loader | vmlinuz26: Starting l4env-style application loader | [36mvmlinuz26,#f: Starting at l4loader_init (00016630)[m exec | vmlinuz26: Linking exec | vmlinuz26: Relocating entry 00400000 => 00400000 exec | vmlinuz26: Packed 737417 bytes of symbols exec | vmlinuz26: Packed 1868352 bytes of lines loader | vmlinuz26,#f: Continue at l4env_init (00016640, libloader.s.so) l4lx | [34;1m======> L4Linux 2.6 starting... <========[0m l4lx | Linux version 2.6.17-l4 (root@umas1) (gcc version 3.3.1 (Mandrake Lin l4lx : ux 9.2 3.3.1-2mdk)) #1 Thu Feb 7 22:57:26 UTC 2008 l4lx | Binary name: vmlinuz26 l4lx | Kernel command line (5 args): mem=128M load_ramdisk=1 ramdisk_size=40 l4lx : 96 root=/dev/ram l4env_rd=(nd)/tftpboot/drops/bin/rd/initrd.gz l4lx | Image: 00400000 - 0071c000 [3184 KiB]. l4lx | Areas: Text: 00400000 - 00631000 [2244kB] (a bit longer) l4lx | Data: 00631000 - 0067b5ac [297kB] l4lx | Initdata: 0067e000 - 006af000 [196kB] l4lx | BSS: 006b0000 - 0071aac0 [426kB] l4lx | L4RM: [PF] read at 0x006b0000, ip 004019e0, src F.02 l4lx | [F.0] l4rm/lib/src/pagefault.c:78:__unknown_pf(): l4lx | unhandled page fault l4lx | l4lx | Exiting with -1 simplets| Exit F.00 [===============================================] What must be mapped to the BSS area and why it may be unsuccessful? These page faults, as I understand, are handled by l4rm library and dm_phys dataspace manager, but what here can be wrong? my grub entry is: [===============================================] title loader + l4lx26 mit BMODFS kernel $(ROOT)/bootstrap -serial modaddr 0x02000000 module $(FIASCO) $(FIASCOARGS) module $(P)/sigma0 module $(P)/roottask task sigma0 boot_priority 0xA0 \ task roottask boot_priority 0xA0 \ task modname "names" boot_priority 0xA0 \ task modname "log" boot_priority 0xA1 \ task modname "dm_phys" boot_priority 0xA0 \ task modname "simple_ts" boot_priority 0xA0 \ task modname "l4io" allow_cli boot_priority 0xA3 \ task modname "rtc" allow_cli \ task modname "l4con" allow_cli \ task modname "l4exec" boot_priority 0xA0 \ task modname "loader" allow_cli boot_priority 0xA0 \ task modname "vmlinuz26" \ task modname "bmodfs" attached 4 modules module $(P)/names module $(P)/log --prio 0xA1 module $(P)/dm_phys --isa=0x00800000 module $(P)/simple_ts -t 900 module $(P)/rtc module $(P)/l4io --noirq module $(P)/bmodfs module $(CFG)/l4linux26.cfg module $(P)/libloader.s.so module $(P)/vmlinuz26 module $(S)/rd/initrd.gz module $(P)/l4con --l4io module $(P)/l4exec module $(P)/loader --fprov=BMODFS l4linux26.cfg vbeset $(VBEMODE) [===============================================] and it uses the following l4linux26.cfg: [===============================================] modpath "(nd)/tftpboot/drops/bin/x86_586/l4v2" sleep 2 task "vmlinuz26" "mem=32M load_ramdisk=1 ramdisk_size=4096 root=/dev/ram l4env_rd=(nd)/tftpboot/drops/bin/rd/initrd.gz showpfexc=1" all_sects_writable [===============================================] as you can probably see, I use a bit old l4linux and l4env sources (downloaded a year or more ago). I think I missed something simple, but I can't understand what. Please help. WBR, Valery

2 1

A pagefault at the BSS area when starting l4linux
by Valery V. Sedletski 07 Mar '08

07 Mar '08

hi all! I compiled myself l4linux and tried to start it, but something goes wrong. When the linux server starts, a page fault occurs at the beginning of its BSS area. The log is the following: [===============================================] L4 Bootstrapper Scaning (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco -nowait -nokdb -serial -jdb_never_stop -tbuf_entries=32768 -jdb_cmd=JH Scaning (nd)/tftpboot/drops/bin/x86_586/l4v2/sigma0 Scaning (nd)/tftpboot/drops/bin/x86_586/l4v2/roottask task sigma0 boot_priority 0xA0 task roottask boot_priority 0xA0 task modname "names" boot_priority 0xA0 task modname "log" boot_priority 0xA1 task modname "dm_phys" boot_priority 0xA0 task modname "simple_ts" boot_priority 0xA0 task modname "l4io" allow_cli boot_priority 0xA3 task modname "rtc" allow_cli task modname "l4con" allow_cli task modname "l4exec" boot_priority 0xA0 task modname "loader" allow_cli boot_priority 0xA0 task modname "vmlinuz26" task modname "bmodfs" attached 4 modules Relocated mbi to [0x64000-0x64a22] Loading (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco Loading (nd)/tftpboot/drops/bin/x86_586/l4v2/sigma0 Loading (nd)/tftpboot/drops/bin/x86_586/l4v2/roottask find kernel info page... found kernel info page at 0x1000 API Version: (87) experimental Sigma0 config ip:00090000 sp:00105100 [00090000-00096d44] Roottask config ip:00120000 sp:00108528 [00120000-002bda14] [00001000-00002000) (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco [00002000-00055980) (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco [00055980-0005e290) (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco [0005f000-00062230) (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco [00062240-00064000) (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco [00090000-000948dc) (nd)/tftpboot/drops/bin/x86_586/l4v2/sigma0 [000958e0-00096d44) (nd)/tftpboot/drops/bin/x86_586/l4v2/sigma0 [0009f000-00100000) BIOS area [00100000-00108764) bootstrap [00120000-00133190) (nd)/tftpboot/drops/bin/x86_586/l4v2/roottask [00134000-0013e67e) (nd)/tftpboot/drops/bin/x86_586/l4v2/roottask [0013f680-002bda14) (nd)/tftpboot/drops/bin/x86_586/l4v2/roottask [00300000-00301a40) (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco [00302000-0038f408) (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco [02000000-036b3174) Modules Memory [10000000-ffffffff) Deep Space Starting kernel (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco at 00300878 [1;32mWelcome to Fiasco(ia32)! [0;32mDD-L4(v2)/x86 microkernel (C) 1998-2006 TU Dresden Rev: Mon Aug 28 08:34:51 2006 compiled with gcc 3.3.1 for Intel Pentium[0m [31mPerformance-critical config option(s) detected: CONFIG_ASSEMBLER_IPC_SHORTCUT is off CONFIG_NDEBUG is off [m Enabling special fully nested mode for PIC Using the PIT (i8254) on IRQ 0 for scheduling Absolute KIP Syscalls using: Sysenter CPU: GenuineIntel (6:3:3:0) Model: Unknown CPU at 735 MHz 8 KB L1 I Cache (4-way associative, 32 bytes per line) Freeing init code/data: 20480 bytes (5 pages) [6nSIGMA0: Hello! Found Fiasco: KIP syscalls: yes. Allocated 132kB for maintenance structures. Roottask. Command line found: "(nd)/tftpboot/drops/bin/x86_586/l4v2/roottask task sigma0 boot_priority 0xA0 task roottask boot_priority 0xA0 task modname "names" boot_priority 0xA0 task modname "log" boot_priority 0xA1 task modname "dm_phys" boot_priority 0xA0 task modname "simple_ts" boot_priority 0xA0 task modname "l4io" allow_cli boot_priority 0xA3 task modname "rtc" allow_cli task modname "l4con" allow_cli task modname "l4exec" boot_priority 0xA0 task modname "loader" allow_cli boot_priority 0xA0 task modname "vmlinuz26" task modname "bmodfs" attached 4 modules" 261759kB ( 255MB) total RAM (reported by bootloader) 215872kB ( 211MB) received RAM from Sigma0 24376kB ( 24MB) reserved RAM for RMGR Received I/O ports 0000-ffff Attached irqs = [ <!0> 1 <!2> 3 4 5 6 7 8 9 A B C D E F ] Roottask: Parsing command line config. configured task 0x02 (): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 configured task 0x04 (): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (names): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (log): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:a1 small:ff mods:0 configured task 0x00 (dm_phys): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (simple_ts): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (l4io): vm_offs:0 irq:ffff lmcp:ffff allow_cli:1 mcp:ff prio:a3 small:ff mods:0 configured task 0x00 (rtc): vm_offs:0 irq:ffff lmcp:ffff allow_cli:1 mcp:ff prio:10 small:ff mods:0 configured task 0x00 (l4con): vm_offs:0 irq:ffff lmcp:ffff allow_cli:1 mcp:ff prio:10 small:ff mods:0 configured task 0x00 (l4exec): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (loader): vm_offs:0 irq:ffff lmcp:ffff allow_cli:1 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (vmlinuz26): configured task 0x00 (bmodfs): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:4 Roottask: Loading 14 modules. [36m#05: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/names" [m from [[37m02085000[m-[37m0208e174[m] to [002d0000-002d616a][002d7000-002e3000] entry at [37m0005f384[m via trampoline page code [36m#06: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/log --prio 0xA1" [m from [[37m0208f000[m-[37m02097354[m] to [00400000-00406c8a][00407000-00439890] entry at [37m00060390[m via trampoline page code [36m#07: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/dm_phys --isa=0x00800000" [m from [[37m02098000[m-[37m020ac174[m] to [01500000-01511dea][01512000-0151c000] entry at [37m00061398[m via trampoline page code [36m#08: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/simple_ts -t 900" [m from [[37m020ad000[m-[37m020b7354[m] to [01400000-0140854a][01409000-0141b050] entry at [37m00062390[m via trampoline page code [36m#09: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/rtc" [m from [[37m020b8000[m-[37m020bf174[m] to [01080000-01084200][01085000-0108a000] entry at [37m00063384[m via trampoline page code [36m#0a: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/l4io --noirq" [m from [[37m020c0000[m-[37m0210f174[m] to [00b80000-00ba2a32][00ba3000-00bf0000] entry at [37m0006538c[m via trampoline page code [36m#0b: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/bmodfs" [m from [[37m02110000[m-[37m02128174[m] to [01220000-012354ee][01236000-01256000] passing module (nd)/tftpboot/cfg/l4linux26.cfg [ 02129000-021290d2 ] passing module drops/bin/x86_586/l4v2/libloader.s.so [ 0212a000-021c8755 ] passing module boot/drops/bin/x86_586/l4v2/vmlinuz26 [ 021c9000-03205e3b ] passing module (nd)/tftpboot/drops/bin/rd/initrd.gz [ 03206000-03606000 ] entry at [37m00066470[m via trampoline page code [36m#0c: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/l4con --l4io" [m from [[37m03606000[m-[37m0365a174[m] to [00b00000-00b4d35e][00b4e000-00b79000] entry at [37m0006738c[m via trampoline page code [36m#0d: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/l4exec" [m from [[37m0365b000[m-[37m03689174[m] to [01100000-0112b80a][0112c000-0114e000] entry at [37m00068384[m via trampoline page code [36m#0e: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/loader --fprov=BMODFS l4linux26.cfg" [m from [[37m0368a000[m-[37m036b3174[m] to [01300000-01326272][01327000-0134f000] entry at [37m000693a4[m via trampoline page code rtc | Date:01.03.2008 Time:23:02:14 con | Using fast memcpy. simplets| parse_args(): Too many tasks (900) -- limiting to 891! simplets| Configured for 891 tasks. io | do_args(): Disabling internal IRQ handling. io | PCI: Using configuration type 1 io | PCI: Probing PCI hardware io | PCI: Probing PCI hardware (bus 00) io | PCI: PIIX3: Enabling Passive Release on 00:01.0 io | Limiting direct PCI/PCI transfers. io | Activating ISA DMA hang workarounds. io | 00000000-ffffffff : PCI mem io | f0000000-f1ffffff : Cirrus Logic GD 5446 io | f2000000-f2000fff : Cirrus Logic GD 5446 io | 0000-ffff : PCI IO io | 0cf8-0cff : PCI conf1 io | c000-c00f : Intel Corp. 82371SB PIIX3 IDE [Natoma/Triton II] io | c100-c1ff : Realtek Semiconductor Co., Ltd. RTL-8029(AS) con | Character size is 8x14, font has 256 characters con | VESA reports 800x600@16 1600bpl (00bb) [4096kB] con | Color mapping: red=11:5 green=5:6 blue=0:5 res=0:0 con | No supported accelerated graphics card detected io | Remapping I/O memory f0000000-f0400000 cached con | Mapped I/O video mem f0000000 => 02000000+000000 [4096kB] via l4io con | Using MMXEXT for colorspace transform con | L4INPUT: !!! W A R N I N G !!! con | L4INPUT: Please, do not use Fiasco's "-esc" with L4INPUT. con | L4INPUT: !!! W A R N I N G !!! con | L4INPUT: Registered 0xb03c80 for callbacks. con | serio: i8042 AUX port at 0x60,0x64 irq 12 con | serio: i8042 KBD port at 0x60,0x64 irq 1 con | input: ImExPS/2 Generic Explorer Mouse on isa0060/serio1 con | input: AT Translated Set 2 keyboard on isa0060/serio0 con | input: PC Speaker con | input: L4 input event injector con | L4 input event injector: IRQ handler up con | connect "ImExPS/2 Generic Explorer Mouse", isa0060/serio1/input0 con | connect "AT Translated Set 2 keyboard", isa0060/serio0/input0 con | connect "PC Speaker", isa0061/input0 con | connect "L4 input event injector", l4/sys con | Running as C.02. Video mode is 800x600@16. bmodfs | Passed the following modules: bmodfs | module "(nd)/tftpboot/cfg/l4linux26.cfg" (1kB) bmodfs | module "(nd)/tftpboot/drops/bin/x86_586/l4v2/libloader.s.so" (634kB bmodfs : ) bmodfs | module "(nd)/tftpboot/drops/bin/x86_586/l4v2/vmlinuz26" (16628kB) bmodfs | module "(nd)/tftpboot/drops/bin/rd/initrd.gz" (4096kB) loader | sleeping for 2000 ms exec | vmlinuz26: Loading exec | vmlinuz26: Interpreter section found, contains "/usr/lib/libc.so.1" exec | vmlinuz26: Saved 910939 bytes of symbols exec | libloader.s.so: Loading exec | libloader.s.so: Saved 26701 bytes of symbols exec | libloader.s.so: Relocating to 00010000 exec | libloader.s.so: Linking exec | libloader.s.so: Symbol mmap_normal is weak and undefined exec | libloader.s.so: Symbol munmap_normal is weak and undefined exec | libloader.s.so: Symbol mmap_normal is weak and undefined exec | libloader.s.so: Symbol munmap_normal is weak and undefined exec | libloader.s.so: Relocating entry 00005df0 => 00015df0 exec | libloader.s.so: Setting section flag 0800 exec | vmlinuz26: Setting section flag 0800 loader | vmlinuz26: Starting l4env-style application loader | [36mvmlinuz26,#f: Starting at l4loader_init (00016630)[m exec | vmlinuz26: Linking exec | vmlinuz26: Relocating entry 00400000 => 00400000 exec | vmlinuz26: Packed 737417 bytes of symbols exec | vmlinuz26: Packed 1868352 bytes of lines loader | vmlinuz26,#f: Continue at l4env_init (00016640, libloader.s.so) l4lx | [34;1m======> L4Linux 2.6 starting... <========[0m l4lx | Linux version 2.6.17-l4 (root@umas1) (gcc version 3.3.1 (Mandrake Lin l4lx : ux 9.2 3.3.1-2mdk)) #1 Thu Feb 7 22:57:26 UTC 2008 l4lx | Binary name: vmlinuz26 l4lx | Kernel command line (5 args): mem=128M load_ramdisk=1 ramdisk_size=40 l4lx : 96 root=/dev/ram l4env_rd=(nd)/tftpboot/drops/bin/rd/initrd.gz l4lx | Image: 00400000 - 0071c000 [3184 KiB]. l4lx | Areas: Text: 00400000 - 00631000 [2244kB] (a bit longer) l4lx | Data: 00631000 - 0067b5ac [297kB] l4lx | Initdata: 0067e000 - 006af000 [196kB] l4lx | BSS: 006b0000 - 0071aac0 [426kB] l4lx | L4RM: [PF] read at 0x006b0000, ip 004019e0, src F.02 l4lx | [F.0] l4rm/lib/src/pagefault.c:78:__unknown_pf(): l4lx | unhandled page fault l4lx | l4lx | Exiting with -1 simplets| Exit F.00 [===============================================] What must be mapped to the BSS area and why it may be unsuccessful? These page faults, as I understand, are handled by l4rm library and dm_phys dataspace manager, but what here can be wrong? my grub entry is: [===============================================] title loader + l4lx26 mit BMODFS kernel $(ROOT)/bootstrap -serial modaddr 0x02000000 module $(FIASCO) $(FIASCOARGS) module $(P)/sigma0 module $(P)/roottask task sigma0 boot_priority 0xA0 \ task roottask boot_priority 0xA0 \ task modname "names" boot_priority 0xA0 \ task modname "log" boot_priority 0xA1 \ task modname "dm_phys" boot_priority 0xA0 \ task modname "simple_ts" boot_priority 0xA0 \ task modname "l4io" allow_cli boot_priority 0xA3 \ task modname "rtc" allow_cli \ task modname "l4con" allow_cli \ task modname "l4exec" boot_priority 0xA0 \ task modname "loader" allow_cli boot_priority 0xA0 \ task modname "vmlinuz26" \ task modname "bmodfs" attached 4 modules module $(P)/names module $(P)/log --prio 0xA1 module $(P)/dm_phys --isa=0x00800000 module $(P)/simple_ts -t 900 module $(P)/rtc module $(P)/l4io --noirq module $(P)/bmodfs module $(CFG)/l4linux26.cfg module $(P)/libloader.s.so module $(P)/vmlinuz26 module $(S)/rd/initrd.gz module $(P)/l4con --l4io module $(P)/l4exec module $(P)/loader --fprov=BMODFS l4linux26.cfg vbeset $(VBEMODE) [===============================================] and it uses the following l4linux26.cfg: [===============================================] modpath "(nd)/tftpboot/drops/bin/x86_586/l4v2" sleep 2 task "vmlinuz26" "mem=32M load_ramdisk=1 ramdisk_size=4096 root=/dev/ram l4env_rd=(nd)/tftpboot/drops/bin/rd/initrd.gz showpfexc=1" all_sects_writable [===============================================] as you can probably see, I use a bit old l4linux and l4env sources (downloaded a year or more ago). I think I missed something simple, but I can't understand what. Please help. WBR, Valery

1 0

stop thread running in fiasco/L4
by hazwan 06 Mar '08

06 Mar '08

Hello Im curious to know, how can i stop a thread from running? Is there an API call to do this process? As far as i know, there is an API call for OK/L4 to stop a thread. How about fiasco? Thanks -- View this message in context: http://www.nabble.com/stop-thread-running-in-fiasco-L4-tp15864227p15864227.… Sent from the L4 mailing list archive at Nabble.com.

2 1

need some help in okl4
by Gabi Voiculescu 04 Mar '08

04 Mar '08

Hello l4-hackers community, Does anyone have experience with okl4's distribution? I have some questions on how to make gta01 platform simulate in Skyeye starting from okl4_release_1.5.2 with lcd support. I changed machines.py in platform/s3c2410/tools to contain: lcd: state=on, type=s3c2410x, mod=gtk I know Skyeye can simulate the LCD (verified it in arm's testsuite). Gabi --------------------------------- Never miss a thing. Make Yahoo your homepage.

1 0

does l4 linux now support smp?
by Yang Xu 04 Mar '08

04 Mar '08

Hello everyone, does anybody know that whether l4 linux now already support smp or not please? As far as I know, linux 2.6.x already supports smp. So I am wondering the the l4-linux 2.6 supports smp or not. if yes, it is the linux kernel distributes the threads across the cores or the ukernel does this? Any comment is welcome :-) best regards, Yang

2 5

mysterious double fault
by Alexander Arlt 04 Mar '08

04 Mar '08

hi all, i have a mysterious double fault error while booting fiasco in qemu. the problem is that the same configuration works on a native 586 fiasco and in fiasco-ux without any problems. only with qemu a double fault is detected. i tested it with qemu 0.9.0 and qemu 0.9.1. with version 0.9.0 the boot process hangs, without any error messages. with qemu 0.9.1 fiasco says that a double fault was detected. in my configuration i boot two instances of l4linux. while the intialization of the l4linux kernel, fiasco produces the following output: DOUBLE FAULT! EAX=c02407d0 ESI=c0240000 DS=0023 EBX=c0401000 EDI=00000000 ES=0023 ECX=3fe19000 EBP=c02406b4 GS=0043 EDX=00000000 ESP=c04017cc SS=0010 ESP0=c0240800 EFL=00200087 EIP=f002ef06 CS=0008 this happens always after the "l4lx | Got 0 out of 65536 I/O ports" message. but the really confusing thing is, that sometimes also qemu can boot without any double fault. any ideas whats going wrong here? thanks alex

2 1

Linux 2.6.24 L4FB and VGA_CONSOLE
by Marc CHALAND 27 Feb '08

27 Feb '08

Hi, I made a svn up into l4linux-2.6, made an oldconfig and encountered some problems with lxevent and... cron (???). Problem with lxevent, was into rmgr_init_ping_call: _dice_msg_buffer was NULL. So I decided to purge all build directories (fiasco, build dir, install dir and l4linux). I edited a new configuration for l4linux but I encountered a problem : I cannot disable VGA_CONSOLE if I don't use EMBEDDED. So I decided to set it. But, now, I've got some stability problems : I get the following message : --------------------------------------------------------------------------------------------------------------------------------- KERNEL: set_tls: non-existing thread 003401e1 KERNEL: set_ldt: non-existing task 0. Trap: 13: 0000 [#1] Modules linked in: Pid: 1070, comm: consolechars Not tainted (2.6.24-l4 #14) EIP: ff7c:[<00405055>] EFLAGS: 00010246 CPU: 0 EIP is at l4x_switch_to+0xd0/0xd3 EAX: 1003cc60 EBX: 00000018 ECX: 00000000 EDX: 00000000 ESI: 003401e1 EDI: 1003ca80 EBP: 1081013c ESP: 108139a0 DS: 0000 ES: 4280 FS: 0023 GS: 0043 SS: 0023 Process consolechars (pid: 1070, ti=10812000 task=1003ca80 task.ti=108d0000) Stack: 108139a8 00000000 1003ca80 10810000 00000400 0054da88 005f0fbc 10810000 00000400 1003ca80 10812000 108139e8 ffff950d 00000400 0000000b 0054dd5b 108139e8 ffff950d 005f67b0 005f67b0 ffff950d 0041923c 10810000 005f5f00 Call Trace: [<0054da88>] schedule+0x171/0x1bb [<0054dd5b>] schedule_timeout+0x7b/0x99 [<0041923c>] process_timeout+0x0/0x9 [<0045672f>] do_select+0x397/0x3ee [<00456d5f>] __pollwait+0x0/0xaf [<0040eeff>] default_wake_function+0x0/0x14 [<0049f877>] __make_request+0x472/0x4a8 [<0040e891>] update_curr+0x52/0xc8 [<0040eb9b>] dequeue_entity+0xb/0x2a [<0040fbbf>] dequeue_task_fair+0x1b/0x2f [<0040f644>] finish_task_switch+0x1f/0x50 [<0054dab4>] schedule+0x19d/0x1bb [<0054dcca>] io_schedule+0xb/0x12 [<00467424>] sync_buffer+0x3b/0x40 [<0054debd>] __wait_on_bit+0x53/0x5c [<004673e9>] sync_buffer+0x0/0x40 [<004673e9>] sync_buffer+0x0/0x40 [<0054df28>] out_of_line_wait_on_bit+0x62/0x6a [<00421d9c>] wake_bit_function+0x0/0x34 [<004820b3>] __ext3_get_inode_loc+0x29e/0x2f6 [<00448a95>] kmem_cache_alloc+0x66/0x9e [<0045a1da>] __d_lookup+0x97/0xd5 [<0045a1da>] __d_lookup+0x97/0xd5 [<00451dd2>] do_lookup+0x59/0x16b [<00453837>] __link_path_walk+0x930/0xa72 [<0045a6a3>] dput+0x2a/0xe5 [<00453837>] __link_path_walk+0x930/0xa72 [<0045d5ea>] mntput_no_expire+0x1c/0x5c [<0045697e>] core_sys_select+0x1f8/0x2ae [<00454514>] __user_walk_fd+0x43/0x4c [<00449151>] kmem_cache_free+0x40/0x93 [<00452d6f>] getname+0x68/0xa2 [<0044e26d>] cp_new_stat64+0xff/0x111 [<00456eb3>] sys_select+0xa5/0x173 [<0040401b>] l4x_user_dispatcher+0x8e2/0x184c [<0040c030>] _upage_start+0x30/0x890 [<00456e0e>] sys_select+0x0/0x173 [<0044fd40>] do_execve+0x172/0x17b [<0044fd40>] do_execve+0x172/0x17b [<005c4372>] kernel_init+0x0/0x254 [<004079a3>] l4_kernelinternal_execve+0xc2/0xc9 [<00400915>] in_kernel_int80_helper+0x9/0x17 [<005c4372>] kernel_init+0x0/0x254 [<004094a3>] kernel_execve+0x17/0x1a [<00400198>] run_init_process+0x20/0x24 [<00400242>] init_post+0xa6/0xd0 [<005c45bc>] kernel_init+0x24a/0x254 [<0040f644>] finish_task_switch+0x1f/0x50 [<005c4372>] kernel_init+0x0/0x254 [<005c4372>] kernel_init+0x0/0x254 [<004072cb>] kernel_thread_start+0x28/0x2d [<00406ed2>] sys_enosys+0x0/0x6 ======================= Code: 00 00 89 04 d5 04 e0 5a 00 89 0c d5 00 e0 5a 00 8b b7 00 02 00 00 8d 87 e0 01 00 00 bb 18 00 00 00 31 c9 89 ca 0f 00 d0 5b 5e 5f <c3> 90 90 57 56 83 ec 04 8b 74 24 10 8b 7c 24 14 f6 46 0d 20 74 EIP: [<00405055>] l4x_switch_to+0xd0/0xd3 SS:ESP 0023:108139a0 ---[ end trace 10d172b22dcd8354 ]--- Fixing recursive fault but reboot is needed! ------------------------------------------------------------------------------------------------------------------------ I thought I forgot to set an option into kernel. But this happens sometimes on egrep, which, etc.. Any idea on the problem ? Regards Marc

3 10

Problem with dice when fpage are used with derivation
by Marc CHALAND 27 Feb '08

27 Feb '08

Hi, I don't have time to do more checking on L4Linux. Today, I use dice r238 of public repository of TUDOS. All my tasks are pure L4env ones. I try to process an idl which is quite long. Here is a sample : library myapp { [uuid(2)] interface connection { int syn([out] unsigned long *page_in_base); int ack([in] fpage page_in, [in] unsigned long page_out_base, [out] fpage *page_out); int rst(void); }; }; I create one interface which derives from myapp::connection : library myapp_server { interface server : myapp::configuration, myapp::connection, myapp::key { }; }; Dice generates files. One of them is very strange. On server side, file corresponding to myapp_server contains following code : inline long myapp_server_reply_and_wait (CORBA_Object _dice_corba_obj, l4_msgtag_t *_dice_tag, myapp_server_msg_buffer_t *_dice_msg_buffer, CORBA_Server_Environment *_dice_corba_env) { long _dice_opcode = 0; l4_msgtag_t tagdummy __attribute__ ((unused)) = l4_msgtag(0,0,0,0); l4_msgdope_t _dice_result = { msgdope: 0 }; if ((_dice_msg_buffer->_word._dice_send_dope.md.dwords <= 2) && (_dice_msg_buffer->_word._dice_send_dope.md.strings == 0)) [ZAP] /* clear exception if set*/ if (DICE_EXPECT_FALSE(DICE_HAS_EXCEPTION(_dice_corba_env))) CORBA_server_exception_set(_dice_corba_env, CORBA_NO_EXCEPTION, CORBA_DICE_EXCEPTION_NONE, 0); /* test for IPC errors */ if (DICE_EXPECT_FALSE(L4_IPC_IS_ERROR(_dice_result))) { _dice_opcode = 0; _dice_msg_buffer->_word._word[0] = 0; if (DICE_IS_NO_EXCEPTION(_dice_corba_env)) CORBA_server_exception_set(_dice_corba_env, CORBA_SYSTEM_EXCEPTION, CORBA_DICE_INTERNAL_IPC_ERROR, 0); return _dice_opcode; } if (l4_ipc_fpage_received(_dice_result)) _dice_opcode = _dice_msg_buffer->_word._word[2]; else _dice_opcode = _dice_msg_buffer->_word._word[0]; return _dice_opcode; } By adding some logging, I realized that when fpage is received, opcode is not into _word[2] but _word[4]. Regards Marc

2 1

how can a l4 task load l4linux?
by Alexander Arlt 27 Feb '08

27 Feb '08

hi all, i try to write a l4 task which can dynamically load / boot a l4linux. at the moment i using fiasco ux which parses a loader configuration file to boot l4linux. the question is, how can i do this at runtime, without such a configuration file. it seems so, that this can be done by using some internal l4 loader stuff. i looked at the l4 loader reference manual, but its a bit hard to reason how this can be realized. maybe a small example would be really nice :) can anyone help me? thanks, alex

2 1