roottask task modname "loader" allow_cli task modname "bmodfs" attached 6 modules
module (cd)/boot/L4Linux/l4v2/events
module (cd)/boot/L4Linux/l4v2/names --events
module (cd)/boot/L4Linux/l4v2/log
module (cd)/boot/L4Linux/l4v2/dm_phys --isa=0x00800000
module (cd)/boot/L4Linux/l4v2/simple_ts -t 300
module (cd)/boot/L4Linux/l4v2/rtc
module (cd)/boot/L4Linux/l4v2/l4io --noirq
module (cd)/boot/L4Linux/l4v2/l4dope --l4io -f
module (cd)/boot/L4Linux/l4v2/bmodfs
module (cd)/boot/L4Linux/l4v2/l4linux26.cfg
module (cd)/boot/L4Linux/l4v2/
libloader.s.so module (cd)/boot/L4Linux/l4v2/
libld-l4.s.so module (cd)/boot/l4linux-2.6/vmlinuz
module (cd)/boot/L4Linux/drops.rd
module (cd)/boot/L4Linux/l4v2/loader --fprov=BMODFS l4linux26.cfg
vbeset 0x117
L4 Bootstrapper
move modules to 6000000 with offset 5d22000
move module 17 start 1ed2000 -> 7bf4000
move module 16 start ed2000 -> 6bf4000
move module 15 start b1b000 -> 683d000
move module 14 start aa2000 -> 67c4000
move module 13 start a04000 -> 6726000
move module 12 start a03000 -> 6725000
move module 11 start 95b000 -> 667d000
move module 10 start 7e5000 -> 6507000
move module 9 start 5a5000 -> 62c7000
move module 8 start 575000 -> 6297000
move module 7 start 527000 -> 6249000
move module 6 start 48c000 -> 61ae000
move module 5 start 44e000 -> 6170000
move module 4 start 40c000 -> 612e000
move module 3 start 36b000 -> 608d000
move module 2 start 33b000 -> 605d000
move module 1 start 2de000 -> 6000000
Scanning (cd)/boot/L4Linux/build/main -nokdb -serial_esc
Scanning (cd)/boot/L4Linux/l4v2/sigma0
Scanning (cd)/boot/L4Linux/l4v2/roottask task modname "loader" allow_cli task modname "bmodfs" attached 5 modules
Bootloader MMAP:
[ 0, 9fc00) RAM (1)
[ 9fc00, a0000) reserved (2)
[ e8000, 100000) reserved (2)
[ 100000, fff0000) RAM (1)
[ fff0000, 10000000) ACPI (3)
[ fffc0000, 100000000) reserved (2)
Relocated mbi to [0x65000-0x6570e]
Loading (cd)/boot/L4Linux/build/main
Loading (cd)/boot/L4Linux/l4v2/sigma0
Loading (cd)/boot/L4Linux/l4v2/roottask
find kernel info page...
found kernel info page at 0x1000
[ 1000, 64fff] Kern (cd)/boot/L4Linux/build/main
[ 65000, 6580b] Root Multiboot info
[ 9fc00, 9ffff] Arch BIOS
[ e8000, fffff] Arch BIOS
[ 100000, 10837f] Sigma0 (cd)/boot/L4Linux/l4v2/sigma0
[ 110000, 2aefff] Root (cd)/boot/L4Linux/l4v2/roottask
[ 2d0000, 2dae5f] Boot bootstrap
[ 300000, 38fd2f] Kern (cd)/boot/L4Linux/build/main
[ 612e000, 7cd2eb1] Root Modules Memory
[ fff0000, fffffff] Arch BIOS
[ fffc0000, ffffffff] Arch BIOS
API Version: (87) experimental
Sigma0 config ip:00103f28 sp:002daa20
Roottask config ip:00110000 sp:00000000
Starting kernel (cd)/boot/L4Linux/build/main at 003008b4
Welcome to Fiasco(ia32)!
DD-L4(v2)/ia32 microkernel (C) 1998-2009 TU Dresden
Rev: r429 compiled with gcc 4.3.2 for Intel Pentium []
Performance-critical config option(s) detected:
CONFIG_NDEBUG is off
CONFIG_NO_FRAME_PTR 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:3:3:0) Model: Pentium II (Klamath) at 1795 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: 24576 bytes (6 pages)
Calibrating timer loop... done.
SIGMA0: Hello!
KIP @ 1000
Found Fiasco: KIP syscalls: yes
allocated 4KB for maintenance structures
Roottask.
Command line found: "(cd)/boot/L4Linux/l4v2/roottask task modname "loader" allow_cli task modname "bmodfs" attached 5 modules"
261695kB ( 255MB) total RAM (reported by bootloader)
234912kB ( 230MB) received RAM from Sigma0
29964kB ( 30MB) 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 10 11 ]
Roottask: Parsing command line config.
configured task 0x00 (loader):
vm_offs:0 irq:3ffff lmcp:ffff allow_cli:1 mcp:ff prio:10 small:ff mods:0
configured task 0x00 (bmodfs):
vm_offs:0 irq:3ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:5
Roottask: Loading 14 modules.
#05: loading "(cd)/boot/L4Linux/l4v2/names"
from [0612e000-0616fc16] to [002d0000-002d6a37][002d7000-002e2000]
entry at 0005f378 via trampoline page code
symbols at [0eb74000-0eb76000] (8kB), lines at [0eb6e000-0eb74000] (24kB)
#06: loading "(cd)/boot/L4Linux/l4v2/log"
from [06170000-061add0b] to [00400000-00406eca][00407000-00439808]
entry at 00060374 via trampoline page code
symbols at [0eb6c000-0eb6e000] (8kB), lines at [0eb66000-0eb6c000] (24kB)
#07: loading "(cd)/boot/L4Linux/l4v2/dm_phys --isa=0x00800000"
from [061ae000-062488b8] to [01500000-01513cb7][01514000-0151e000]
entry at 00061388 via trampoline page code
symbols at [0eb61000-0eb66000] (20kB), lines at [0eb53000-0eb61000] (56kB)
#08: loading "(cd)/boot/L4Linux/l4v2/simple_ts -t 300"
from [06249000-06296314] to [01400000-01408dea][01409000-014185e8]
entry at 00062380 via trampoline page code
symbols at [0eb51000-0eb53000] (8kB), lines at [0eb49000-0eb51000] (32kB)
#09: loading "(cd)/boot/L4Linux/l4v2/rtc"
from [06297000-062c6a60] to [01080000-010845c0][01085000-0108a000]
entry at 00063374 via trampoline page code
symbols at [0eb47000-0eb49000] (8kB), lines at [0eb42000-0eb47000] (20kB)
#0a: loading "(cd)/boot/L4Linux/l4v2/l4io"
from [062c7000-06506914] to [00c20000-00c44dd5][00c45000-00cb3000]
entry at 00064374 via trampoline page code
symbols at [0eaec000-0eb42000] (344kB), lines at [0ead2000-0eaec000] (104kB)
#0b: loading "(cd)/boot/L4Linux/l4v2/l4dope --l4io"
from [06507000-0667cef5] to [01b00000-01b45999][01b46000-01b8b000]
entry at 00066380 via trampoline page code
symbols at [0eac4000-0ead2000] (56kB), lines at [0ea97000-0eac4000] (180kB)
#0c: loading "(cd)/boot/L4Linux/l4v2/bmodfs"
from [0667d000-067243fc] to [01220000-01238169][01239000-01250000]
passing module (cd)/boot/L4Linux/l4v2/l4linux26.cfg [ 06725000-0672509c ]
passing module (cd)/boot/L4Linux/l4v2/
libloader.s.so [ 06726000-067c33d6 ]
passing module (cd)/boot/L4Linux/l4v2/
libld-l4.s.so [ 067c4000-0683ce55 ]
passing module (cd)/boot/l4linux-2.6/vmlinuz [ 0683d000-06bf3183 ]
passing module (cd)/boot/L4Linux/drops.rd [ 06bf4000-07bf4000 ]
entry at 0006747c via trampoline page code
symbols at [0ea92000-0ea97000] (20kB), lines at [0ea7f000-0ea92000] (76kB)
#0d: loading "(cd)/boot/L4Linux/l4v2/loader --fprov=BMODFS l4linux26.cfg"
from [07bf4000-07cd2eb2] to [01300000-01328b49][01329000-01348000]
entry at 00068394 via trampoline page code
symbols at [0ea78000-0ea7f000] (28kB), lines at [0ea5e000-0ea78000] (104kB)
ROOT: Sending ports 0070-0070 to task #09
ROOT: Sending ports 0080-0080 to task #09
ROOT: Sending ports 0071-0071 to task #09
rtc | Date:08.04.2009 Time:02:20:22
simplets| Configured for 300 tasks.
loader | Can't map tbuf status page
l4dope | (cd)/boot/L4Linux/l4v2/l4dope: unrecognized option `--l4io'
l4dope | DOpE(init): unknown option!
bmodfs | Passed the following modules:
bmodfs | module "(cd)/boot/L4Linux/l4v2/l4linux26.cfg" (1kB)
bmodfs | module "(cd)/boot/L4Linux/l4v2/
libloader.s.so" (629kB)
bmodfs | module "(cd)/boot/L4Linux/l4v2/
libld-l4.s.so" (484kB)
bmodfs | module "(cd)/boot/l4linux-2.6/vmlinuz" (3801kB)
bmodfs | module "(cd)/boot/L4Linux/drops.rd" (16384kB)
io | Using platform configuration 'x86'
ROOT: Sending ports 0cfb-0cfb to task #0a
ROOT: Sending ports 0cf8-0cfb to task #0a
ROOT: Sending ports 0cfe-0cff to task #0a
io | PCI: Using configuration type 1
io | PCI: Probing PCI hardware
io | PCI: Probing PCI hardware (bus 00)
ROOT: Sending ports 0cfc-0cff to task #0a
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 | b000-b03f : Intel Corporation 82371AB/EB/MB PIIX4 ACPI
io | b100-b11f : Intel Corporation 82371AB/EB/MB PIIX4 ACPI
io | c000-c00f : Intel Corporation 82371SB PIIX3 IDE [Natoma/Triton II]
io | c020-c03f : Intel Corporation 82371SB PIIX3 USB [Natoma/Triton II]
io | c100-c1ff : Realtek Semiconductor Co., Ltd. RTL-8029(AS)
loader | sleeping for 1000 ms
io | Available IRQs=[ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 a b c d e f 10 11 ]
l4dope | L4INPUT native mode activated
l4dope | L4INPUT: !!! W A R N I N G !!!
l4dope | L4INPUT: Please, do not use Fiasco's "-esc" with L4INPUT.
l4dope | L4INPUT: !!! W A R N I N G !!!
ROOT: Sending ports 0060-006f to task #0a
l4dope | Failed to disable AUX port, but continuing anyway... Is this a SiS?
l4dope | If AUX port is really absent please use the 'i8042.noaux' option.
l4dope | serio: i8042 KBD port at 0x60,0x64 irq 1
l4dope | input: AT Raw Set 2 keyboard on isa0060/serio0
l4dope | input: PC Speaker
l4dope | input: L4 input event injector
l4dope | L4 input event injector: IRQ handler up
l4dope | connect "AT Raw Set 2 keyboard", isa0060/serio0/input0
l4dope | connect "PC Speaker", isa0061/input0
l4dope | connect "L4 input event injector", l4/sys
l4dope | SharedMem(alloc): hl.raw=e0000, id=3b, size=800
l4dope | SharedMem(get_adr): address = 0x5000
l4dope | SharedMem(alloc): hl.raw=e0000, id=3c, size=800
l4dope | SharedMem(get_adr): address = 0x6000
l4dope | SharedMem(alloc): hl.raw=e0000, id=3d, size=800
l4dope | SharedMem(get_adr): address = 0x7000
l4dope | SharedMem(alloc): hl.raw=e0000, id=3e, size=800
l4dope | SharedMem(get_adr): address = 0xd000
l4dope | SharedMem(alloc): hl.raw=e0000, id=3f, size=800
l4dope | SharedMem(get_adr): address = 0xe000
l4dope | SharedMem(alloc): hl.raw=e0000, id=40, size=800
l4dope | SharedMem(get_adr): address = 0xf000
l4dope | SharedMem(alloc): hl.raw=e0000, id=42, size=800
l4dope | SharedMem(get_adr): address = 0x16000
l4dope | SharedMem(alloc): hl.raw=e0000, id=47, size=484
l4dope | SharedMem(get_adr): address = 0x20000
l4dope | dope: paddr=f0000000 size=4096KiB
l4dope | Mapped video memory at f0000000 to 00400000+000000 [4096kB] via L4IO
l4dope | mapping: vaddr=0x400000 size=4194304(0x400000) offset=0(0x0)
l4dope | Frame buffer base: 0x400000
l4dope | Resolution: 1024x768x16
l4dope | Bytes per scanline: 2048
l4dope | Current video mode is 1024x768 red=11:5 green=5:6 blue=0:5 res=0:0
loader | vmlinuz: Starting application using
libld-l4.s.soloader | vmlinuz,#e: Loading binary
loader | vmlinuz,#e: Loading ldso
loader | vmlinuz,#e: Starting
libld-l4.s.so at 000138e0 via 0000cc30
l4lx | ======> L4Linux 2.6 starting... <========
l4lx | Linux version 2.6.28-l4-svn143 (root@debian) (gcc version 4.3.2 (Debi
l4lx : an 4.3.2-1.1) ) #1 Mon Mar 23 15:24:51 MYT 2009
l4lx | Binary name: vmlinuz
l4lx | Linux kernel command line (7 args): mem=64M load_ramdisk=1 ramdisk_si
l4lx : ze=16384 root=/dev/ram l4env_rd=drops.rd nosmp isolcpus=0
l4lx | Image: 00400000 - 007f2000 [4040 KiB].
l4lx | Areas: Text: 00400000 - 006f6000 [3032kB] (a bit longer)
l4lx | Data: 006f6000 - 0071d6d4 [157kB]
l4lx | Initdata: 00720000 - 00761000 [260kB]
l4lx | BSS: 00762000 - 007f1030 [572kB]
l4lx | l4lx_thread_create: Created thread 0e.03 (tamer0)
l4lx | Tamer0 is 0e.03
l4lx | Using tamed mode.
ROOT: Sending all ports (for cli/sti) to task #0d
l4lx | Got 65536 out of 65536 I/O ports
l4lx | Connecting to l4io server.
l4lx | l4env_linux_startup thread 4.
l4lx | l4lx_thread_create: Created thread 0e.04 (cpu0)
l4lx | main thread will be 0e.04
l4lx | l4env_register_pointer_section: addr = 006f6000 size = 1032192
l4lx | sec-w-init: virt: 0x006f6000 to 0x007f1fff [1008 KiB]
l4lx | sec-w-init: Number of physical regions: 1, 1032192 Bytes
l4lx | sec-w-init: 1: Phys: 0x00dee000 to 0x00eea000, Size: 1032192
l4lx | main thread: received startup message.
l4lx | memory_setup: mem=64M load_ramdisk=1 ramdisk_size=16384 root=/dev/ram
l4lx : l4env_rd=drops.rd nosmp isolcpus=0
l4lx | setup_l4env_memory: Forcing superpages for main memory
l4lx | Main thread running, waiting...
l4lx | Main memory size: 64MB
l4lx | Got 2048kB of ISA DMA memory.
l4lx | ISA DMA memory: virt: 0x00800000 to 0x009fffff [2048 KiB]
l4lx | ISA DMA memory: Number of physical regions: 1, 2097152 Bytes
l4lx | ISA DMA memory: 1: Phys: 0x0043a000 to 0x0063a000, Size: 2097152
l4lx | Main memory: virt: 0x00c00000 to 0x04bfffff [65536 KiB]
l4lx | Main memory: Number of physical regions: 1, 67108864 Bytes
l4lx | Main memory: 1: Phys: 0x02000000 to 0x06000000, Size: 67108864
l4lx | Filling lower ptabs...
l4lx | mainmem = c00000
l4lx | Done (1481 entries).
l4lx | l4env_register_pointer_section: addr = 006f6000 size = 1032192
l4lx | end: virt: 0x006f6000 to 0x007f1fff [1008 KiB]
l4lx | end: Number of physical regions: 1, 1032192 Bytes
l4lx | end: 1: Phys: 0x00dee000 to 0x00eea000, Size: 1032192
l4lx | memory_setup done
l4lx | l4env_rd_path: drops.rd
l4lx | Loading: drops.rd
l4lx | INITRD: Size of RAMdisk is 16384KiB
l4lx | RAMdisk from 04c00000 to 05c00000 [16384KiB]
l4lx | l4lx_thread_create: Created thread 0e.05 (timer.i0)
l4lx | Jumping over 4x 'hlt' at 0x729944
l4lx | idler0: utcb=0xbff00400 0e.04
l4lx | l4lx_thread_create: Created thread 0e.06 (idler0)
l4lx | Starting L4FB via DOpE
l4dope | SharedMem(alloc): hl.raw=e0000, id=7b, size=96000
l4dope | SharedMem(get_adr): address = 0x800000
l4lx | l4lx_thread_create: Created thread 0e.08 (DOpE refresher)
l4lx | l4lx_thread_create: Created thread 0e.09 (L4DOpEinput)
l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 14.
l4lx | l4lx_thread_create: Created thread 0e.0a (IRQ14)
l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 15.
l4lx | l4lx_thread_create: Created thread 0e.0b (IRQ15)
l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 11.
l4lx | l4lx_thread_create: Created thread 0e.0c (IRQ11)