Welcome to Fiasco(ia32)! DD-L4(v2)/x86 microkernel (C) 1998-2007 TU Dresden Rev: r131 compiled with gcc 3.4.6 for Pentium M Performance-critical config option(s) detected: CONFIG_NDEBUG is off Enabling special fully nested mode for PIC Using the PIT (i8254) on IRQ 0 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: GenuineIntel (6:D:8:16) Model: Pentium-M (Dothan) at 1995 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) 2048 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 20480 bytes (5 pages) Calibrating timer loop... done. SIGMA0: Hello! KIP @ 1000 Found Fiasco: KIP syscalls: yes allocated 4KB for maintenance structures Roottask. Command line found: "/boot/L4Linuxs/roottask task modname "bmodfs" attached 4 modules" 1038846kB (1014MB) total RAM (reported by bootloader) 973328kB ( 951MB) received RAM from Sigma0 25292kB ( 25MB) reserved RAM for RMGR Received I/O ports 0000-ffff Attached irqs = [ 1 3 5 6 7 8 9 A B C D E F 10 11 ] Roottask: Parsing command line config. configured task 0x00 (bmodfs): vm_offs:0 irq:3ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:4 Roottask: Loading 12 modules. #05: loading "/boot/L4Linuxs/names" from [06135000-0617274f] to [002d0000-002d602a][002d7000-002e2000] entry at 0005e070 via trampoline page code symbols at [3bbfe000-3bc00000] (8kB), lines at [3bbf8000-3bbfe000] (24kB) #06: loading "/boot/L4Linuxs/log" from [06173000-061adf49] to [00400000-00406a2a][00407000-00439888] entry at 0005f06c via trampoline page code symbols at [3bbf6000-3bbf8000] (8kB), lines at [3bbf0000-3bbf6000] (24kB) #07: loading "/boot/L4Linuxs/dm_phys" from [061ae000-0623f89a] to [01500000-0151218a][01513000-0151d000] entry at 00060070 via trampoline page code symbols at [3bbeb000-3bbf0000] (20kB), lines at [3bbdd000-3bbeb000] (56kB) #08: loading "/boot/L4Linuxs/simple_ts -t 300" from [06240000-06289787] to [01400000-0140830a][01409000-01418628] entry at 00061078 via trampoline page code symbols at [3bbdb000-3bbdd000] (8kB), lines at [3bbd3000-3bbdb000] (32kB) #09: loading "/boot/L4Linuxs/rtc" from [0628a000-062b8808] to [01080000-01084240][01085000-0108a000] entry at 0006206c via trampoline page code symbols at [3bbd1000-3bbd3000] (8kB), lines at [3bbcc000-3bbd1000] (20kB) #0a: loading "/boot/L4Linuxs/l4io --noirq" from [062b9000-0651378e] to [00c20000-00c42670][00c43000-00cac000] entry at 00064074 via trampoline page code symbols at [3bb79000-3bbcc000] (332kB), lines at [3bb5e000-3bb79000] (108kB) #0b: loading "/boot/L4Linuxs/bmodfs" from [06514000-065b170c] to [01220000-01235670][01236000-0124e000] passing module /boot/L4Linuxs/vmlinuz26 [ 065b2000-0764da3b ] passing module /boot/L4Linuxs/config [ 0764e000-0764e084 ] passing module /boot/L4Linuxs/libloader.s.so [ 0764f000-076f5e59 ] passing module /boot/L4Linuxs/libld-l4.s.so [ 076f6000-07774721 ] entry at 00065124 via trampoline page code symbols at [3bb59000-3bb5e000] (20kB), lines at [3bb46000-3bb59000] (76kB) #0c: loading "/boot/L4Linuxs/loader --fprov=BMODFS config" from [07775000-078495a2] to [01300000-013248d4][01325000-01344000] entry at 00066084 via trampoline page code symbols at [3bb40000-3bb46000] (24kB), lines at [3bb26000-3bb40000] (104kB) simplets| Configured for 300 tasks. rtc | Date:13.07.2007 Time:20:33:59 bmodfs | Passed the following modules: bmodfs | module "/boot/L4Linuxs/vmlinuz26" (17007kB) bmodfs | module "/boot/L4Linuxs/config" (1kB) bmodfs | module "/boot/L4Linuxs/libloader.s.so" (668kB) bmodfs | module "/boot/L4Linuxs/libld-l4.s.so" (506kB) loader | vmlinuz26: Starting application using libld-l4.s.so loader | vmlinuz26,#d: Loading binary loader | vmlinuz26,#d: Loading ldso loader | vmlinuz26,#d: Starting libld-l4.s.so at 00013820 via 0000cf44 io | /boot/L4Linuxs/l4io: unrecognized option `--noirq' io | begin of static cfg............... io | end of static cfg................. io | PCI: Using configuration type 1 io | PCI: Probing PCI hardware io | PCI: Probing PCI hardware (bus 00) io | PCI: Ignoring BAR0-3 of IDE controller 00:1f.2 io | Transparent bridge - Intel Corporation 82801 Mobile PCI Bridge io | PCI: Enabling device 00:02.1 (0000 -> 0002) io | PCI: No IRQ known for interrupt pin A of device 00:1c.0. Please try u io : sing pci=biosirq. io | PCI: No IRQ known for interrupt pin B of device 00:1c.1. Please try u io : sing pci=biosirq. io | 00000000-ffffffff : PCI mem io | 80000000-8007ffff : Intel Corporation Mobile 915GM/GMS/910GML Expre io : ss Graphics Controller io | c0000000-cfffffff : Intel Corporation Mobile 915GM/GMS/910GML Expre io : ss Graphics Controller io | d0000000-d00fffff : PCI Bus #01 io | d0020000-d0023fff : Marvell Technology Group Ltd. 88E8053 PCI-E G io : igabit Ethernet Controller io | d0100000-d01fffff : PCI Bus #02 io | d0120000-d0123fff : Marvell Technology Group Ltd. 88E8053 PCI-E G io : igabit Ethernet Controller (#2) io | d0200000-d0200fff : Ricoh Co Ltd RL5c475 io | d0300000-d037ffff : Intel Corporation Mobile 915GM/GMS/910GML Expre io : ss Graphics Controller io | d0380000-d03bffff : Intel Corporation Mobile 915GM/GMS/910GML Expre io : ss Graphics Controller io | d03c0000-d03c3fff : Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 F io : amily) High Definition Audio Con io | d03c4000-d03c43ff : Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 F io : amily) USB2 EHCI Controller io | 0000-ffff : PCI IO io | 0500-051f : Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) S io : MBus Controller io | 0cf8-0cff : PCI conf1 io | b000-bfff : PCI Bus #01 io | b000-b0ff : Marvell Technology Group Ltd. 88E8053 PCI-E Gigabit E io : thernet Controller io | c000-cfff : PCI Bus #02 io | c000-c0ff : Marvell Technology Group Ltd. 88E8053 PCI-E Gigabit E io : thernet Controller (#2) io | e000-e01f : Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) U io : SB UHCI #1 io | e100-e11f : Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) U io : SB UHCI #2 io | e200-e21f : Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) U io : SB UHCI #3 io | e300-e31f : Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) U io : SB UHCI #4 io | e400-e407 : Intel Corporation Mobile 915GM/GMS/910GML Express Graph io : ics Controller io | f000-f00f : Intel Corporation 82801FBM (ICH6M) SATA Controller io | Available IRQs=[ 1 3 5 6 7 8 9 a b c d e f 10 11 ] l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.21-l4 () l4lx : (gcc version 3.4.6 20060404 (Red Hat 3.4.6-4)) #9 Sat Jul 14 05:08:2 l4lx : 5 JST 2007 l4lx | Binary name: vmlinuz26 l4lx | Kernel command line (5 args): earlyprintk=yes console=ttyS1,115200 in l4lx : it=1 mem=256M root=/dev/hda1 l4lx | Image: 00400000 - 007a7000 [3740 KiB]. l4lx | Areas: Text: 00400000 - 006d9000 [2916kB] (a bit longer) l4lx | Data: 006d9000 - 006f734c [120kB] l4lx | Initdata: 006fa000 - 007370c0 [244kB] l4lx | BSS: 0073a000 - 007a4fa0 [427kB] l4lx | l4lx_thread_create: Created thread 0d.03 (tamer) l4lx | Using tamed mode. l4lx | l4env_linux_startup thread 4. l4lx | l4lx_thread_create: Created thread 0d.04 (server) l4lx | main thread will be 0d.04 l4lx | l4env_register_pointer_section: addr = 00400000 size = 3379200 l4lx | sec-w-init: virt: 0x00400000 to 0x00738fff [3300 KiB] l4lx | Noncontiguous region for sec-w-init l4lx | sec-w-init: Number of physical regions: 5, 3379200 Bytes l4lx | sec-w-init: 1: Phys: 0x002e2000 to 0x0038a000, Size: 688128 l4lx | sec-w-init: 2: Phys: 0x012f5000 to 0x01300000, Size: 45056 l4lx | sec-w-init: 3: Phys: 0x01419000 to 0x01500000, Size: 946176 l4lx | sec-w-init: 4: Phys: 0x001ed000 to 0x002d0000, Size: 929792 l4lx | sec-w-init: 5: Phys: 0x01344000 to 0x01400000, Size: 770048 l4lx | main thread: received startup message. l4lx | Main thread running, waiting... l4lx | setup_l4env_memory: Forcing superpages for main memory l4lx | Main memory size: 256MB l4lx | Main memory: virt: 0x00800000 to 0x107fffff [262144 KiB] l4lx | Main memory: Number of physical regions: 1, 268435456 Bytes l4lx | Main memory: 1: Phys: 0x07800000 to 0x17800000, Size: 268435456 l4lx | Filling lower ptabs... l4lx | Done (1078 entries). Linux version 2.6.21-l4 () (gcc version 3.4.6 20060404 (Red Hat 3.4.6-4)) #9 Sat Jul 14 05:08:25 JST 2007 CPU: Vendor unknown, using generic init. CPU: Your system may be unstable. dm_phys: 0000000000800000 - 0000000010800000 (usable) 256MB memory available. Zone PFN ranges: DMA 0 -> 512 Normal 512 -> 67584 early_node_map[1] active PFN ranges 0: 0 -> 67584 Allocating PCI resources starting at 20000000 (gap: 10800000:ef800000) Built 1 zonelists. Total pages: 67056 Kernel command line: earlyprintk=yes console=ttyS1,115200 init=1 mem=256M root=/dev/hda1 Initializing CPU#0 PID hash table entries: 2048 (order: 11, 8192 bytes) Detected 1995.013 MHz processor. disabling early console l4lx | l4lx_thread_create: Created thread 0d.05 (timer.i0) l4lx | l4lx_thread_create: Created thread 0d.06 (Idler)