My adventures trying to boot L4Linux kernel + Fedora

Tiago Jorge tjpj at
Mon Oct 25 11:56:39 CEST 2004

hello again.
I've downloaded from the L4Linux CVS the version that matches more with 
the kernel that my Fedora Core brings, 2.4.22.
I've made make menuconfig and, as instructed, removed all thing that 
messed with the hardware himself(APM, ACPI, etc), make, make modules and 
make modules_install.
I've made mkinitrd to make a initrd file.
When i try to boot it, it gives-me this error (same in vmware and 
physicaly, but i've done it in vmware now to send the error)


Welcome to Fiasco(ia32)!
DD-L4(v2)/x86 microkernel (C) 1998-2004 TU Dresden
Rev: Wed Oct 13 15:20:47 2004 compiled with gcc 3.3.2 for Intel Pentium
Performance-critical config option(s) detected:

Found VMWare: Using normal pic mode
Using the RTC on IRQ 8 (1kHz) for scheduling
Absolute KIP Syscalls using: Sysenter
CPU: GenuineIntel (6:7:8:0) Model: Pentium III (Katmai) at 498 MHz

  32 Entry I TLB (4K pages)
  64 Entry D TLB (4K pages)
  16 KB L1 I Cache (4-way associative, 32 bytes per line)
  16 KB L1 D Cache (4-way associative, 32 bytes per line)
 512 KB L2 U Cache (4-way associative, 32 bytes per line)

Freeing init code/data: 20480 bytes (5 pages)

SIGMA0: Hello!
  Found Fiasco: KIP syscalls: yes.
  Allocated 84kB for maintenance structures.

RMGR: Stage2
  running on Fiasco
  bootloader loaded 1 module at 02059000-022035c1
  total RAM size =  64062 KB (reported by bootloader)
          received  57604 KB RAM from sigma0
                      812 KB reserved for RMGR
  received no I/O ports
  attached irqs = [ 0 1 2 3 4 5 6 7 8 9 a b c d e f ]

RMGR: Starting tasks.
#05: loading "(nd)/fiasco/vmlinuz.V2 no-scroll no-hlt l4irqack=linux 
initrd=2.4.22-l4-env.img root=/dev/hda5"
     from 02059000-022035c0 to [ 003ff000-00537500 00538000-005a2620 
005a4000-00640560 ]
     starting at entry 003ff000 via trampoline page code 000621a4

RMGR found at 04.01
bootmem: 641000, 39d2000
start_pfn=641000, bootmap_size = 73c
Linux version 2.4.22-l4-dev (root at localhost.localdomain) (gcc version 
2.95.3 20010315 (release)) #12 Mon Oct 25 10:44:43 WEST 2004
BIOS-provided physical RAM map:
 BIOS-88: 0000000000062000 - 0000000000091000 [   188KiB] (usable)
 BIOS-88: 0000000000095000 - 000000000009f000 [    40KiB] (usable)
 BIOS-88: 000000000009f000 - 0000000000100000 [   388KiB] (reserved)
 BIOS-88: 0000000000100000 - 0000000000129000 [   164KiB] (usable)
 BIOS-88: 000000000018e000 - 0000000000400000 [  2504KiB] (usable)
 BIOS-88: 0000000000400000 - 0000000003800000 [ 53248KiB] (usable)
 BIOS-88: 0000000003800000 - 00000000039d2000 [  1864KiB] (usable)
57MB LOWMEM available.
hm, page 00000000 reserved twice.
pagetable_init: "Mapped" 1287 4K und 13 4M pages.
On node 0 totalpages: 14802
zone(0): 4096 pages.
zone(1): 10706 pages.
zone(2): 0 pages.
Kernel command line: no-scroll no-hlt l4irqack=linux 
initrd=2.4.22-l4-env.img root=/dev/hda5
l4irqack: L4Linux acknowledges IRQs itself
Detected 500.640 MHz processor.
timer_irq_thread: Starting timer IRQ thread CPU 0.
Console: colour VGA+ 80x25
Calibrating delay loop... 907.67 BogoMIPS
Memory: 52532k/59208k available (1045k kernel code, 5476k reserved, 514k 
data, 104k init, 0k highmem)
Dentry cache hash table entries: 8192 (order: 4, 65536 bytes)
Inode cache hash table entries: 4096 (order: 3, 32768 bytes)
Mount cache hash table entries: 512 (order: 0, 4096 bytes)
Buffer cache hash table entries: 1024 (order: 0, 4096 bytes)
Page-cache hash table entries: 16384 (order: 4, 65536 bytes)
CPU: L1 I cache: 16K, L1 D cache: 16K
CPU: L2 cache: 512K
CPU: Intel Pentium III (Katmai) stepping 08
POSIX conformance testing by UNIFIX
PCI: PCI BIOS revision 2.10 entry at 0xfd9a0, last bus=1
PCI: Using configuration type 1
PCI: Probing PCI hardware
PCI: Probing PCI hardware (bus 00)
PCI: Using IRQ router PIIX [8086/7110] at 00:07.0
PCI: Cannot allocate resource region 4 of device 00:07.1
Limiting direct PCI/PCI transfers.
isapnp: Scanning for PnP cards...
isapnp: No Plug & Play device found
Linux NET4.0 for Linux 2.4
Based upon Swansea University Computer Society NET3.039
Initializing RT netlink socket
Starting kswapd
VFS: Disk quotas vdquot_6.5.1
Detected PS/2 Mouse Port.
l4lx_irq_dev_startup: creating IRQ thread for 1
irq_thread: Starting IRQ thread for IRQ 1
pty: 2048 Unix98 ptys configured
keyboard: Timeout - AT keyboard not present?(ed)
Serial driver version 5.05c (2001-07-08) with MANY_PORTS MULTIPORT 
ttyS00 at 0x03f8 (irq = 4) is a 16550A
ttyS01 at 0x02f8 (irq = 3) is a 16550A
l4lx_irq_dev_startup: creating IRQ thread for 8
irq_thread: Starting IRQ thread for IRQ 8
wait_for_irq_message: IRQ 8 (00.00) receive failed, code = 0x10


and crashes in the last line...

Could someone give an hint?

Thanks in advance

Tiago Jorge

More information about the l4-hackers mailing list