My adventures trying to boot L4Linux kernel + Fedora

Tiago Jorge tjpj at lasige.di.fc.ul.pt
Mon Oct 25 14:34:43 CEST 2004


I have in the IRQ8 the RTC of the system...

>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:
>  CONFIG_SCHED_RTC is on
>  CONFIG_NDEBUG is off
>
>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 <http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers>) (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.
>l4lx_irq_timer_startup(0)
>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 
>SHARE_IRQ SERIAL_PCI ISAPNP enabled
>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