l4-hackers June 2006

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

21 participants
26 discussions

The "region overlap" problem in the L4/Fiasco hello example
by chenggh 12 Aug '06

12 Aug '06

Hi,everyone: When I boot the hello example in the L4/Fiasco. there is a "region overlap" in the booting information. I don't why it could be like this. The grub configuration and the error information is following: Grub: title fiasco_hello_new kernel (hd0,1)/boot/fiasco_hello_new/bootstrap -comport 1 -serial module (hd0,1)/boot/fiasco_hello_new/main -nokdb module (hd0,1)/boot/fiasco_hello_new/sigma0 module (hd0,1)/boot/fiasco_hello_new/roottask module (hd0,1)/boot/fiasco_hello_new/hello minicom_log: L4 Bootstrapper Loading (hd0,1)/boot/fiasco_hello_new/main Kernel at 00002000-0038f408 Detected new-style DD-L4(v2)/Fiasco x86 Loading (hd0,1)/boot/fiasco_hello_new/sigma0 Loading (hd0,1)/boot/fiasco_hello_new/roottask loaded module section: [0028d000-00324e13) .Roottask syms/lines (copy) overlaps with: [00300000-0038f408) (hd0,1)/boot/fiasco_hello_new/main [00002000-0005ae70) (hd0,1)/boot/fiasco_hello_new/main [0005b000-0005fcfd) (hd0,1)/boot/fiasco_hello_new/main [00090000-0009432d) (hd0,1)/boot/fiasco_hello_new/sigma0 [00095340-00096824) (hd0,1)/boot/fiasco_hello_new/sigma0 [0009f000-00100000) BIOS area [00100000-0010dc04) bootstrap [0013f000-0028ccb0) Modules Memory [00300000-0038f408) (hd0,1)/boot/fiasco_hello_new/main [1dff0000-ffffffff) Deep Space region overlap Thanks! Cheng

4 3

panic in L4Linux booting process
by chenggh 30 Jun '06

30 Jun '06

Hi, everyone: In the L4Linux booting process it is panic. The log is following: Welcome to Fiasco(ia32)! DD-L4(v2)/x86 microkernel (C) 1998-2006 TU Dresden Rev: Thu Jun 1 13:35:11 2006 compiled with gcc 3.3.6 for AMD Athlon Performance-critical config option(s) detected: CONFIG_SCHED_RTC is on CONFIG_ASSEMBLER_IPC_SHORTCUT is off CONFIG_NDEBUG is off CONFIG_NO_FRAME_PTR is off CONFIG_LIST_ALLOC_SANITY is on CONFIG_BEFORE_IRET_SANITY is on CONFIG_JDB_ACCOUNTING is on Enabling special fully nested mode for PIC Using the RTC on IRQ 8 (1kHz) for scheduling SERIAL ESC: allocated IRQ 4 for serial uart SERIAL ESC: allocated IRQ 4 for serial uart Not using serial hack in slow timer handler. Absolute KIP Syscalls using: Sysenter CPU: AuthenticAMD (6:8:1:0) Model: Athlon (Thoroughbred) at 2002 MHz 16/256 Entry I TLB (4K pages) 8 Entry I TLB (4M pages) 32/256 Entry D TLB (4K pages) 8 Entry D TLB (4M pages) 64 KB L1 I Cache (2-way associative, 64 bytes per line) 64 KB L1 D Cache (2-way associative, 64 bytes per line) 256 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 24576 bytes (6 pages) SIGMA0: Hello! Found Fiasco: KIP syscalls: yes. Allocated 188kB for maintenance structures. Roottask. 491071kB ( 479MB) total RAM (reported by bootloader) 427936kB ( 418MB) received RAM from Sigma0 23232kB ( 23MB) 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 0x00 (bmodfs): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:2 Symbols at [1b956000-1b95b000] (20kB), lines at [1b944000-1b956000] (72kB) Roottask: Loading 12 modules. #05: loading "(hd0,1)/boot/fiasco_L4/events" from [0612b000-06174e2f] to [01540000-0154ab9d][0154b000-0154d954] entry at 00061078 via trampoline page code symbols at [1b942000-1b944000] (8kB), lines at [1b93a000-1b942000] (32kB) #06: loading "(hd0,1)/boot/fiasco_L4/names -events" from [06175000-061b9ca6] to [002d0000-002d784a][002d8000-002e4000] entry at 00062080 via trampoline page code symbols at [1b938000-1b93a000] (8kB), lines at [1b931000-1b938000] (28kB) #07: loading "(hd0,1)/boot/fiasco_L4/log" from [061ba000-061fd64c] to [00400000-004080aa][00409000-0043b8b0] entry at 00063074 via trampoline page code symbols at [1b92f000-1b931000] (8kB), lines at [1b928000-1b92f000] (28kB) #08: loading "(hd0,1)/boot/fiasco_L4/dm_phys -isa=0x00800000 -v --events" from [061fe000-0627ab68] to [01500000-01513aea][01514000-0151e000] entry at 00064094 via trampoline page code symbols at [1b924000-1b928000] (16kB), lines at [1b916000-1b924000] (56kB) #09: loading "(hd0,1)/boot/fiasco_L4/simple_ts -t 300 --events" from [0627b000-062c5fd2] to [01400000-0140910a][0140a000-01415bf0] entry at 0006508c via trampoline page code symbols at [1b913000-1b916000] (12kB), lines at [1b90b000-1b913000] (32kB) #0a: loading "(hd0,1)/boot/fiasco_L4/rtc --events" from [062c6000-062fbfd8] to [01080000-01085960][01086000-0108b000] entry at 0006607c via trampoline page code symbols at [1b909000-1b90b000] (8kB), lines at [1b903000-1b909000] (24kB) #0b: loading "(hd0,1)/boot/fiasco_L4/l4io -noirq --events" from [062fc000-064e5299] to [00b80000-00ba436a][00ba5000-00bf1000] entry at 00067084 via trampoline page code symbols at [1b8cb000-1b903000] (224kB), lines at [1b8b1000-1b8cb000] (104kB) #0c: loading "(hd0,1)/boot/fiasco_L4/l4exec --events" from [064e6000-0660ffd9] to [01100000-0112bb8a][0112c000-0114e000] entry at 00068080 via trampoline page code symbols at [1b8a9000-1b8b1000] (32kB), lines at [1b88c000-1b8a9000] (116kB) #0d: loading "(hd0,1)/boot/fiasco_L4/bmodfs --events" from [06610000-066b110a] to [01220000-0123706a][01238000-01258000] passing module (hd0,1)/boot/fiasco_L4/vmlinuz26 [ 066b2000-074ac99d ] passing module (hd0,1)/boot/fiasco_L4/libloader.s.so [ 074ad000-07550661 ] entry at 000690ec via trampoline page code symbols at [1b887000-1b88c000] (20kB), lines at [1b875000-1b887000] (72kB) #0e: loading "(hd0,1)/boot/fiasco_L4/loader --fprov=BMODFS vmlinuz26" from [07551000-076356f5] to [01300000-0132792a][01328000-01353000] entry at 0006a090 via trampoline page code symbols at [1b86e000-1b875000] (28kB), lines at [1b854000-1b86e000] (104kB) names | Starting thread listening for `exit' events simplets| Configured for 300 tasks. DMphys | [8.0] dm_phys/server/src/main.c:115:__get_num(): DMphys | Error: DMphys: invalid number: 'sa=0x00800000'! DMphys | [8.0] dm_phys/server/src/main.c:153:__pool_config(): DMphys | Error: DMphys: invalid size for pool 7: sa=0x00800000! rtc | Date:15.06.2006 Time:09:43:32 DMphys | DMphys memory map: DMphys | phys. memory 0x00000000-0x1dff0000 (from L4 kernel info page) DMphys | using 0x00100000-0x1dff0000 DMphys | Memory area Pool PS Flags DMphys | 0x00000000-0x00100000 -- -- RESERVED DMphys | 0x00100000-0x0013a000 0 12 MAPPED DMphys | 0x0013a000-0x001d2000 -- -- DENIED DMphys | 0x001d2000-0x002d0000 0 12 MAPPED DMphys | 0x002d0000-0x002e4000 -- -- DENIED DMphys | 0x002e4000-0x00400000 0 12 MAPPED DMphys | 0x00400000-0x0043c000 -- -- DENIED DMphys | 0x0043c000-0x00b80000 0 12 MAPPED DMphys | 0x00b80000-0x00bf1000 -- -- DENIED DMphys | 0x00bf1000-0x00c00000 0 12 MAPPED DMphys | 0x00c00000-0x01000000 0 22 MAPPED DMphys | 0x01000000-0x01080000 0 12 MAPPED DMphys | 0x01080000-0x0108b000 -- -- DENIED DMphys | 0x0108b000-0x01100000 0 12 MAPPED DMphys | 0x01100000-0x0114e000 -- -- DENIED DMphys | 0x0114e000-0x01220000 0 12 MAPPED DMphys | 0x01220000-0x01258000 -- -- DENIED DMphys | 0x01258000-0x01300000 0 12 MAPPED DMphys | 0x01300000-0x01353000 -- -- DENIED DMphys | 0x01353000-0x01400000 0 12 MAPPED DMphys | 0x01400000-0x01416000 -- -- DENIED DMphys | 0x01416000-0x01500000 0 12 MAPPED DMphys | 0x01500000-0x0151d000 -- -- RESERVED DMphys | 0x0151d000-0x01540000 0 12 MAPPED DMphys | 0x01540000-0x0154e000 -- -- DENIED DMphys | 0x0154e000-0x01800000 0 12 MAPPED DMphys | 0x01800000-0x06400000 0 22 MAPPED DMphys | 0x06400000-0x066b2000 0 12 MAPPED DMphys | 0x066b2000-0x07551000 -- -- DENIED DMphys | 0x07551000-0x07800000 0 12 MAPPED DMphys | 0x07800000-0x1b800000 0 22 MAPPED DMphys | 0x1b800000-0x1b854000 0 12 MAPPED DMphys | 0x1b854000-0x1dff0000 -- -- DENIED DMphys | DMphys | DMphys memory pools: DMphys | pool 0 (Default memory pool): DMphys | size: 432348KB total, 432348KB free, 32KB reserved DMphys | 0x00100000-0x0013a000 ( 232KB, 0MB) DMphys | 0x001d2000-0x002d0000 ( 1016KB, 1MB) DMphys | 0x002e4000-0x00400000 ( 1136KB, 1MB) DMphys | 0x0043c000-0x00b80000 ( 7440KB, 7MB) DMphys | 0x00bf1000-0x01080000 ( 4668KB, 5MB) DMphys | 0x0108b000-0x01100000 ( 468KB, 0MB) DMphys | 0x0114e000-0x01220000 ( 840KB, 1MB) DMphys | 0x01258000-0x01300000 ( 672KB, 1MB) DMphys | 0x01353000-0x01400000 ( 692KB, 1MB) DMphys | 0x01416000-0x01500000 ( 936KB, 1MB) DMphys | 0x0151d000-0x01540000 ( 140KB, 0MB) DMphys | 0x0154e000-0x066b2000 ( 83344KB, 81MB) DMphys | 0x07551000-0x1b854000 (330764KB, 323MB) io | do_args(): Disabling internal IRQ handling. io | do_args(): Enabling events support. bmodfs | Passed the following modules: bmodfs | module "(hd0,1)/boot/fiasco_L4/vmlinuz26" (14315kB) bmodfs | module "(hd0,1)/boot/fiasco_L4/libloader.s.so" (654kB) io | PCI: Using configuration type 1 io | PCI: Probing PCI hardware io | PCI: Probing PCI hardware (bus 00) io | PCI: Via IRQ fixup io | 00000000-ffffffff : PCI mem io | e0000000-e7ffffff : PCI Bus #01 io | e0000000-e7ffffff : S3 Inc. VT8375 [ProSavage8 KM266/KL266] io | e8000000-ebffffff : VIA Technologies, Inc. VT8375 [KM266/KL266] Hos io : t Bridge io | ec000000-ec0fffff : PCI Bus #01 io | ec000000-ec07ffff : S3 Inc. VT8375 [ProSavage8 KM266/KL266] io | ec100000-ec11ffff : Intel Corp. 82544GC Gigabit Ethernet Controller io : (Copper) io | ec120000-ec13ffff : Intel Corp. 82544GC Gigabit Ethernet Controller io : (Copper) io | ec160000-ec1600ff : Realtek Semiconductor Co., Ltd. RTL-8139/8139C/ io : 8139C+ io | ec161000-ec1617ff : VIA Technologies, Inc. IEEE 1394 Host Controlle io : r io | ec162000-ec1620ff : VIA Technologies, Inc. USB 2.0 io | 0000-ffff : PCI IO io | 0cf8-0cff : PCI conf1 io | d000-d01f : Intel Corp. 82544GC Gigabit Ethernet Controller (Copper io : ) io | d400-d4ff : Realtek Semiconductor Co., Ltd. RTL-8139/8139C/8139C+ io | d800-d87f : VIA Technologies, Inc. IEEE 1394 Host Controller io | dc00-dc1f : VIA Technologies, Inc. USB io | e000-e01f : VIA Technologies, Inc. USB (#2) io | e400-e41f : VIA Technologies, Inc. USB (#3) io | e800-e80f : VIA Technologies, Inc. VT82C586A/B/VT82C686/A/B/VT823x/ io : A/C PIPC Bus Master IDE io | ec00-ecff : VIA Technologies, Inc. VT8233/A/8235 AC97 Audio Control io : ler loader | "vmlinuz26" is a valid binary image exec | vmlinuz26: Loading exec | vmlinuz26: Interpreter section found, contains "/usr/lib/libc.so.1" exec | vmlinuz26: Saved 881541 bytes of symbols exec | libloader.s.so: Loading exec | libloader.s.so: Saved 26225 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 00006340 => 00016340 exec | libloader.s.so: Setting section flag 0800 exec | vmlinuz26: Setting section flag 0800 loader | vmlinuz26: Starting l4env-style application loader | vmlinuz26,#f: Starting at l4loader_init (00016bd0) exec | vmlinuz26: Linking exec | vmlinuz26: Relocating entry 00400000 => 00400000 exec | vmlinuz26: Packed 718178 bytes of symbols exec | vmlinuz26: Packed 1762501 bytes of lines loader | vmlinuz26,#f: Continue at l4env_init (00016be0, libloader.s.so) l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.16-l4 (root@slackware) (gcc version 3.3.6) #1 Thu J l4lx : un 8 21:09:48 CST 2006 l4lx | Binary name: vmlinuz26 l4lx | Kernel command line (0 args): l4lx | Image: 00400000 - 006ee000 [3000 KiB]. l4lx | Areas: Text: 00400000 - 00613000 [2124kB] (a bit longer) l4lx | Data: 00613000 - 0065a50c [285kB] l4lx | Initdata: 0065e000 - 0068e000 [192kB] l4lx | BSS: 0068e000 - 006ece50 [379kB] l4lx | l4lx_thread_create: Created thread 0f.03 (tamer) l4lx | Using tamed mode. l4lx | l4env_linux_startup thread 4. l4lx | l4lx_thread_create: Created thread 0f.04 (server) l4lx | main thread will be 0f.04 l4lx | l4env_register_pointer_section: addr = 0065c000 size = 598016 l4lx | sec-w-init: virt: 0x0065c000 to 0x006edfff [584 KiB] l4lx | Noncontiguous region for sec-w-init l4lx | sec-w-init: Number of physical regions: 2, 598016 Bytes l4lx | sec-w-init: 1: Phys: 0x01416000 to 0x0146b000, Size: 348160 l4lx | sec-w-init: 2: Phys: 0x011e3000 to 0x01220000, Size: 249856 l4lx | main thread: received startup message. l4lx | Main thread running, waiting... l4lx | setup_l4env_memory: Forcing superpages for main memory l4lx | Main memory size: 32MB l4lx | Main memory: virt: 0x00800000 to 0x027fffff [32768 KiB] l4lx | Main memory: Number of physical regions: 1, 33554432 Bytes l4lx | Main memory: 1: Phys: 0x01800000 to 0x03800000, Size: 33554432 l4lx | Filling lower ptabs... l4lx | Done (1133 entries). l4lx | l4lx_thread_create: Created thread 0f.05 (timer.i0) l4lx | l4lx_thread_create: Created thread 0f.06 (IRQ12) l4lx | l4lx_thread_create: Created thread 0f.07 (Idler) l4lx | l4lx_thread_create: Created thread 0f.08 (IRQ17) l4lx | l4lx_thread_create: Created thread 0f.09 (IRQ16) l4lx | l4lx_thread_create: Created thread 0f.0a (IRQ15) l4lx | l4lx_thread_create: Created thread 0f.0b (IRQ14) l4lx | l4lx_thread_create: Created thread 0f.0c (IRQ13) l4lx | l4lx_thread_create: Created thread 0f.0d (IRQ11) l4lx | l4lx_thread_create: Created thread 0f.0e (IRQ10) l4lx | l4lx_thread_create: Created thread 0f.0f (IRQ9) l4lx | l4lx_thread_create: Created thread 0f.10 (IRQ7) l4lx | l4lx_thread_create: Created thread 0f.11 (IRQ6) l4lx | l4lx_thread_create: Created thread 0f.12 (IRQ5) l4lx | l4lx_thread_create: Created thread 0f.13 (IRQ3) l4lx | l4lx_thread_create: Created thread 0f.14 (IRQ1) l4lx | panic: going to sleep forever, bye The grub configuration is following: title fiasco_L4Linux-2.6 kernel (hd0,1)/boot/fiasco_L4/bootstrap modaddr 0x06000000 module (hd0,1)/boot/fiasco_L4/main -nowait -nokdb -serial_esc -comspeed 115200 -comport 1 module (hd0,1)/boot/fiasco_L4/sigma0 module (hd0,1)/boot/fiasco_L4/roottask task modname "bmodfs" attached 2 modules module (hd0,1)/boot/fiasco_L4/events module (hd0,1)/boot/fiasco_L4/names -events module (hd0,1)/boot/fiasco_L4/log module (hd0,1)/boot/fiasco_L4/dm_phys -isa=0x00800000 -v --events module (hd0,1)/boot/fiasco_L4/simple_ts -t 300 --events module (hd0,1)/boot/fiasco_L4/rtc --events module (hd0,1)/boot/fiasco_L4/l4io -noirq --events module (hd0,1)/boot/fiasco_L4/l4exec --events module (hd0,1)/boot/fiasco_L4/bmodfs --events module (hd0,1)/boot/fiasco_L4/vmlinuz26 module (hd0,1)/boot/fiasco_L4/libloader.s.so module (hd0,1)/boot/fiasco_L4/loader --fprov=BMODFS vmlinuz26 Please help me! Thank you! cheng

1 0

Userland (UX) Runtime
by Michael J. Emswiler 28 Jun '06

28 Jun '06

Good evening all, I have just gotten the most recent L4 tree from CVS and did a complete UX rebuild starting from scratch. However, after building L4 and Fiasco-UX, i cannot seem to get past this one point: < Begin Paste ----------------------------------------> Fiasco-UX on Linux 2.6.16.13-4-default (i686) Mapped 64 MB Memory + 0 KB Framebuffer + 0 MB Input Area on FD 3 Loading Module 0x00090000-0x00096924 [sigma0-ux] Loading Module 0x00120000-0x002bc9c4 [roottask] Copying Module 0x039be000-0x039e0c99 [hello] Bootstrapping... Welcome to Fiasco(ux)! DD-L4(v2)/x86 microkernel (C) 1998-2006 TU Dresden Rev: Mon Jun 26 22:50:26 2006 compiled with gcc 3.4.6 for AMD Athlon CPU: AuthenticAMD (6:8:1:0) Model: Athlon (Thoroughbred) at 1463 MHz 16/256 Entry I TLB (4K pages) 8 Entry I TLB (4M pages) 32/256 Entry D TLB (4K pages) 8 Entry D TLB (4M pages) 64 KB L1 I Cache (2-way associative, 64 bytes per line) 64 KB L1 D Cache (2-way associative, 64 bytes per line) 256 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 24576 bytes (6 pages) < End Paste ----------------------------------------> I never see any output from Sigma0, RootTask, much less the Hello sample (as i see in other screenshots.) Is there a log that can provide me some hints? Do I need to enable debug logging specifically to see Sigma0 and RootTask outputs to the screen on startup? Further I have to kill -9 it to get unload. -- Thanks, MikeE

3 8

Re: Userland (UX) Runtime
by Michael J. Emswiler 27 Jun '06

27 Jun '06

When comparing differences between your output and the output of my K7-GCC4 binary, I notice the following differences: 1. Your kernel is 2.6.13.2, while mine is the default 10.1 kernel of 2.6.16.13-4 2. After the "Loading Module..." messages and before "Bootstrapping...", mine shows : Copying Module 0x039be000-0x039e0c99 [hello] 3. Your running a Pentium-M (I'm running a K-7), so my TLBs and Caches are different. 4. My init code/data freed is 7 pages. 5. I don't get a SIGSEGV after MIKEE: Exiting Thread::initialize(), it appears to go into a tight loop that ignores CTRL+C. Not sure what all that means but thought I'd point it out in case someone has an "Aha!" they might offer up. Thanks, MikeE On Tuesday 27 June 2006 05:28, you wrote: > Hi, > > I get the following... > > > ch12@krishna:/tmp/fiasco-ux> ./fiasco > > > Fiasco-UX on Linux 2.6.13.2-krishna (i686) > Mapped 64 MB Memory + 0 KB Framebuffer + 0 MB Input Area on FD 3 > > Loading Module 0x00090000-0x00096924 [sigma0-ux] > Loading Module 0x00120000-0x002bc9c4 [roottask] > > Bootstrapping... > > Welcome to Fiasco(ux)! > DD-L4(v2)/x86 microkernel (C) 1998-2006 TU Dresden > Rev: Mon Jun 26 22:50:26 2006 compiled with gcc 3.4.6 for Intel Pentium > > CPU: GenuineIntel (6:9:5:16) Model: Pentium-M (Banias) at 598 MHz > > 128 Entry I TLB (4K pages) 2 Entry I TLB (4M pages) > 128 Entry D TLB (4K pages) 8 Entry D TLB (4M pages) > 32 KB L1 I Cache (8-way associative, 64 bytes per line) > 32 KB L1 D Cache (8-way associative, 64 bytes per line) > 1024 KB L2 U Cache (8-way associative, 64 bytes per line) > > Freeing init code/data: 24576 bytes (6 pages) > > MIKEE: Initializing Architecture... > MIKEE: Starting System... > MIKEE: Creating Kernel Thread... > MIKEE: Bootstrapping Kernel Thread... > MIKEE: Activating Helping Lock... > MIKEE: Initializing System Clock... > MIKEE: Initializing Scheduler... > MIKEE: Enabling Timers... > MIKEE: Bootstrapping Architecture... > MIKEE: Initialization Delay Loop... > MIKEE: Running Kernel Thread... > MIKEE: Freeing InitCall Section... > MIKEE: Initializing Idle Thread... > MIKEE: Initializing Workload... > MIKEE: Creating Sigma0 Task... > MIKEE: Creating Sigma0 Thread... > MIKEE: Initializng Sigma0 Workload... > MIKEE: Initializng Sigma0 Thread... > MIKEE: Entering Thread::initialize()... > MIKEE: Initializing Entry Frame... > MIKEE: Check for Dead Thread... > MIKEE: Resurrect Thread... > MIKEE: Check for Exception... > MIKEE: Examine Instruction Pointer... > MIKEE: Initializing Instruction Pointer... > MIKEE: Changing State... > MIKEE: Initializing Stack Pointer... > MIKEE: Check for Preempter... > MIKEE: Exiting Thread::initialize()... > Segmentation fault > > > So Fiasco-UX stops on SIGSEGV. Maybe you should also send me your > globalconfig.out from your Fiasco build directory. > > Up to now I have no glue what the problem could be... -- Thanks, MikeE

2 1

L4Env / DOPE Question
by Michael J. Emswiler 25 Jun '06

25 Jun '06

Is this the correct mailing list for raising L4Env and/or DOPE questions and comments? If not, please let me know where this should be posted. I am interested in possibly porting over OpenBinder to the L4Env / Dope environment. Was wondering if anyone has looked at this or had any thoughts or any interest? This will be my first port of something to the L4Env (perhaps I should start with something smaller), so any tips on porting (or links thereto) would be greatly appreciated. -- Thanks, MikeE

3 2

Binary Compatibility of compiled programs in different DROPS versions?
by Arthur Mielimonka 25 Jun '06

25 Jun '06

Hi, can you tell me if programs compiled for a specific DROPS version are runable on other DROPS versions as well? Or is it necessary to compile the program on each target machine? I do not talk about programs like dm_phys or rmgr but about user applications which use some DROPS RT-functions. Thanks, Arthur

2 1

Compiling DROPS with GCC 4
by Oskar Senft 23 Jun '06

23 Jun '06

Hi! Is it possible to compile DROPS with GCC 4 now? I still get the following error: make[2]: Entering directory `/home/osk/tmp/dropsupdate-060619-163030/drops-060619/l4/pkg/l4io' Makefile:8: *** Wrong gcc major version "" - use 3.x for l4io. Stop. make[2]: Leaving directory `/home/osk/tmp/dropsupdate-060619-163030/drops-060619/l4/pkg/l4io' Best regards Oskar. -- Sirrix AG security technologies - http://www.sirrix.com Oskar Senft eMail: o.senft(a)sirrix.com Tel +49 (681) 936 251 - 119 Fax +49 (681) 936 251 - 500 get public key from keyserver Fingerprint 6FC6 3E44 233F 7F4B 33C7 A8D0 2EDA F3BA B5A3 0BA4 This message may contain confidential and/or privileged information. If you are not the addressee, you must not use, copy, disclose or take any action based on this message or any information herein. If you have received this message in error, please advise the sender immediately by reply e-mail and delete this message.

4 6

Build problems with make 3.81rc2
by Oskar Senft 21 Jun '06

21 Jun '06

Hi people! With "GNU Make 3.81rc2" and "GNU sed version 4.1.4" from Debian testing, I get an error with the following entries in l4/tool/gcc-wrap/Makefile: $(SYSTOOLS): %.$(SYSTEM): %.in .general.d @$(GEN_MESSAGE) $(VERBOSE)sed '\ s,@system@,$(SYSTEM),g;\ s,@ar@,$(AR),g;\ s,@nm@,$(NM),g;\ s,@ranlib@,$(RANLIB),g;\ s,@cc@,$(CC_$(DEFAULT_ARCH)),g;\ s,@cxx@,$(CXX_$(DEFAULT_ARCH)),g;\ s,@l4dir@,$(absfilename $(L4DIR)),g;\ s,@dropsdir@,$(DROPS_STDDIR),g;\ s,@compilerincdir@,$(GCCDIR_$(DEFAULT_ARCH))/include,g;\ s,@libgcc@,$(GCCLIB_$(DEFAULT_ARCH)),g;\ s,@libgcc_eh@,$(GCCLIB_EH_$(DEFAULT_ARCH)),g;\ s,@default_system@,$(DEFAULT_SYSTEM),g;\ s,@default_arch@,$(DEFAULT_ARCH),g;\ s,@default_cpu@,$(call PROCESS_SYSTEM, 's/[^-_]*_$[^-]*$.*/\1/p'),g;\ s,@default_l4api@,$(call PROCESS_SYSTEM, 's/.*-$.*$/\1/p'),g;\ ' $< > $@.new $(VERBOSE)chmod 755 $@.new $(VERBOSE)mv $@.new $@ For some reason (probably "make" or "sed" is broken?), the multi-line sed command is not recognized properly. I get the following error: ... Generating drops-ar.Linux sed '\ s,@system@,Linux,g;\ s,@ar@,ar,g;\ s,@nm@,nm,g;\ s,@ranlib@,ranlib,g;\ s,@cc@,,g;\ s,@cxx@,,g;\ s,@l4dir@,,g;\ s,@dropsdir@,/home/osk/tmp/dropsupdate-060619-163030/drops-060619/build,g;\ s,@compilerincdir@,/include,g;\ s,@libgcc@,,g;\ s,@libgcc_eh@,,g;\ s,@default_system@,x86_586,g;\ s,@default_arch@,x86,g;\ s,@default_cpu@,586,g;\ s,@default_l4api@,,g;\ ' drops-ar.in > drops-ar.Linux.new sed: -e expression #1, char 359: unterminated address regex make: *** [drops-ar.Linux] Error 1 When I try it "by hand", I get the same error. Nevertheless it works, when I put all the sed command into a single line. Probably you already have a better solution to that? Best regards Oskar. -- Sirrix AG security technologies - http://www.sirrix.com Oskar Senft eMail: o.senft(a)sirrix.com Tel +49 (681) 936 251 - 119 Fax +49 (681) 936 251 - 500 get public key from keyserver Fingerprint 6FC6 3E44 233F 7F4B 33C7 A8D0 2EDA F3BA B5A3 0BA4 This message may contain confidential and/or privileged information. If you are not the addressee, you must not use, copy, disclose or take any action based on this message or any information herein. If you have received this message in error, please advise the sender immediately by reply e-mail and delete this message.

2 3

Build problems with dice
by Tonnerre Lombard 21 Jun '06

21 Jun '06

Salut, Trying to build dice, I get the following errors: g++ -Wunused -Wunused-parameter -g -O2 -o dice -export-dynamic main.o Compiler.o CParser.o File.o Object.o version.o CCParser.o CCXXParser.o CDCEParser.o CCORBAParser.o CPreProcess.o IncludeStatement.o Exception.o -L../src/be/l4/v2 -lv2 -L../src/be/l4/v2/amd64 -lv2amd64 -L../src/be/l4/v2/ia32 -lv2ia32 -L../src/be/l4/x0 -lx0 -L../src/be/l4/v4 -lv4 -L../src/be/l4/v4/ia32 -lv4ia32 -L../src/be/l4 -ll4 -L../src/be/sock -lsock -L../src/be/cdr -lcdr -L../src/be -lbe -L../src/parser/dce -ldce -L../src/parser/corba -lcorba -L../src/parser/inc -linc -L../src/parser/gcc-c -lgcc_c -L../src/parser/gcc-cxx -lgcc_cxx -L../src/fe -lfe -lstdc++ -ldl CCParser.o: In function `CCParser::Parse(void*, std::basic_string<char, std::char_traits<char>, std::allocator<char> >, int, bool, bool)': /root/l4/tool/dice/src/CCParser.cpp:258: undefined reference to `gcc_c_flex_debug' /root/l4/tool/dice/src/CCParser.cpp:268: undefined reference to `gcc_cin' /root/l4/tool/dice/src/CCParser.cpp:269: undefined reference to `StartBufferGccC(_IO_FILE*)' /root/l4/tool/dice/src/CCParser.cpp:263: undefined reference to `gcc_c_flex_debug' /root/l4/tool/dice/src/CCParser.cpp:272: undefined reference to `RestoreBufferGccC(void*, bool)' /root/l4/tool/dice/src/CCParser.cpp:284: undefined reference to `GetCurrentBufferGccC()' CCParser.o: In function `CCParser::Import(std::basic_string<char, std::char_traits<char>, std::allocator<char> >)': /root/l4/tool/dice/src/CCParser.cpp:105: undefined reference to `GetCurrentBufferGccC()' /root/l4/tool/dice/src/CCParser.cpp:155: undefined reference to `RestoreBufferGccC(void*, bool)' CCXXParser.o: In function `CCXXParser::Parse(void*, std::basic_string<char, std::char_traits<char>, std::allocator<char> >, int, bool, bool)': /root/l4/tool/dice/src/CCXXParser.cpp:239: undefined reference to `gcc_cxx_flex_debug' /root/l4/tool/dice/src/CCXXParser.cpp:253: undefined reference to `RestoreBufferGccCxx(void*, bool)' /root/l4/tool/dice/src/CCXXParser.cpp:244: undefined reference to `gcc_cxx_flex_debug' /root/l4/tool/dice/src/CCXXParser.cpp:249: undefined reference to `gcc_cxxin' /root/l4/tool/dice/src/CCXXParser.cpp:250: undefined reference to `StartBufferGccCxx(_IO_FILE*)' /root/l4/tool/dice/src/CCXXParser.cpp:265: undefined reference to `GetCurrentBufferGccCxx()' CCXXParser.o: In function `CCXXParser::Import(std::basic_string<char, std::char_traits<char>, std::allocator<char> >)': /root/l4/tool/dice/src/CCXXParser.cpp:93: undefined reference to `GetCurrentBufferGccCxx()' /root/l4/tool/dice/src/CCXXParser.cpp:145: undefined reference to `RestoreBufferGccCxx(void*, bool)' CDCEParser.o: In function `CDCEParser::Parse(void*, std::basic_string<char, std::char_traits<char>, std::allocator<char> >, int, bool, bool)': /root/l4/tool/dice/src/CDCEParser.cpp:249: undefined reference to `dce_flex_debug' /root/l4/tool/dice/src/CDCEParser.cpp:259: undefined reference to `dcein' /root/l4/tool/dice/src/CDCEParser.cpp:260: undefined reference to `StartBufferDce(_IO_FILE*)' /root/l4/tool/dice/src/CDCEParser.cpp:254: undefined reference to `dce_flex_debug' /root/l4/tool/dice/src/CDCEParser.cpp:263: undefined reference to `RestoreBufferDce(void*, bool)' /root/l4/tool/dice/src/CDCEParser.cpp:275: undefined reference to `GetCurrentBufferDce()' CDCEParser.o: In function `CDCEParser::Import(std::basic_string<char, std::char_traits<char>, std::allocator<char> >)': /root/l4/tool/dice/src/CDCEParser.cpp:95: undefined reference to `GetCurrentBufferDce()' /root/l4/tool/dice/src/CDCEParser.cpp:150: undefined reference to `RestoreBufferDce(void*, bool)' CCORBAParser.o: In function `CCORBAParser::Import(std::basic_string<char, std::char_traits<char>, std::allocator<char> >)': /root/l4/tool/dice/src/CCORBAParser.cpp:93: undefined reference to `GetCurrentBufferCorba()' /root/l4/tool/dice/src/CCORBAParser.cpp:145: undefined reference to `RestoreBufferCorba(void*, bool)' CCORBAParser.o: In function `CCORBAParser::Parse(void*, std::basic_string<char, std::char_traits<char>, std::allocator<char> >, int, bool, bool)': /root/l4/tool/dice/src/CCORBAParser.cpp:222: undefined reference to `corba_flex_debug' /root/l4/tool/dice/src/CCORBAParser.cpp:232: undefined reference to `corbain' /root/l4/tool/dice/src/CCORBAParser.cpp:233: undefined reference to `StartBufferCorba(_IO_FILE*)' /root/l4/tool/dice/src/CCORBAParser.cpp:227: undefined reference to `corba_flex_debug' /root/l4/tool/dice/src/CCORBAParser.cpp:236: undefined reference to `RestoreBufferCorba(void*, bool)' /root/l4/tool/dice/src/CCORBAParser.cpp:248: undefined reference to `GetCurrentBufferCorba()' CPreProcess.o: In function `CPreProcess::PreProcess(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool, bool)': /root/l4/tool/dice/src/CPreProcess.cpp:346: undefined reference to `incin' /root/l4/tool/dice/src/CPreProcess.cpp:347: undefined reference to `incout' /root/l4/tool/dice/src/CPreProcess.cpp:351: undefined reference to `inclex()' ../src/parser/dce/libdce.a(parser.o): In function `dceparse()': /root/l4/tool/dice/src/parser/dce/y.tab.c:2677: undefined reference to `dcelex(YYSTYPE*)' ../src/parser/dce/libdce.a(parser.o): In function `dceparse()': /root/l4/tool/dice/src/parser/dce/parser.yy:3584: undefined reference to `dcelex(YYSTYPE*)' ../src/parser/corba/libcorba.a(parser.o): In function `corbaparse()': /root/l4/tool/dice/src/parser/corba/y.tab.c:1868: undefined reference to `corbalex(YYSTYPE*)' ../src/parser/gcc-c/libgcc_c.a(parser.o): In function `gcc_cparse()': /root/l4/tool/dice/src/parser/gcc-c/y.tab.c:2637: undefined reference to `gcc_clex(YYSTYPE*)' ../src/parser/gcc-cxx/libgcc_cxx.a(parser.o): In function `gcc_cxxparse()': /root/l4/tool/dice/src/parser/gcc-cxx/y.tab.c:5457: undefined reference to `gcc_cxxlex(YYSTYPE*)' collect2: ld returned 1 exit status It seems that your #define magic doesn't work overly well... Any ideas on how to fix it? Or is it an error using the makefiles? BTW, the documentation is also inaccurate: it states that one should just type make config and make, but you have to add O=/where/ever to the mess. Tonnerre -- SyGroup GmbH Tonnerre Lombard Loesungen mit System Tel:+41 61 333 80 33 Roeschenzerstrasse 9 Fax:+41 61 383 14 67 4153 Reinach Web:www.sygroup.ch tonnerre.lombard(a)sygroup.ch

2 3

MIKES 2006 workshop update
by Ihor Kuz 21 Jun '06

21 Jun '06

Hi, Several months ago we sent you an invitation to the MIKES 2006 (microkernels for embedded systems) workshop being held in Sydney this August. Unfortunately there have been too few submissions to create a quality workshop program worthy of interest. The organisers have decided to postpone the workshop until January 2007, and will work hard on advertising the workshop more widely. We encourage you to resubmit your work to MIKES later this year for the workshop in January. Regards Ihor Kuz on behalf of the MIKES workshop organising committee: Gernot Heiser Stefan Petters Ihor Kuz http://www.ertos.nicta.com.au/events/06/0815-mikes.pml

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

l4-hackers June 2006