Problem booting l4linux on pistachio

Gordon gjoel123 at
Wed Dec 22 12:31:23 CET 2004

 I am trying to boot l4linux (2.4.22 from CVS, 
 checked out on 25/06/2004) from Pistachio (CVS checkout 20/12/2004).
 I am using gcc 3.3.4. for compiling Pistachio and l4linux.
 I am selecting the "tamed" option when making.
 My grub menu.lst contains the following lines:
 title           L4Ka::Pistachio
 kernel          /kickstart
 module          /ia32-kernel
 module          /sigma0
 module          /vmlinuz.VX2 no-scroll console=herc console=tty
 I get the following messsage and error:
 init_emulibpager initialized to c0001
 --- "unable to map generic bootinfo" ---
 --------------------------------- (eip=00600d3f, esp=005edf98) ---
 Then I type g (go) at the L4 prompt and get more info:

L4Linux: init_l4_resource_management empty
bootmem: f000000, c0400000
start_pfn=f000000, bootmap_size = 18080
Linux version 2.4.22-l4-dev (root at khaki) (gcc version 3.3.4 (Debian
1:3.3.4-9ubuntu5)) #2 Tue Dec 24
Request of the genetic bootinfo 00020000:000283ff failed.
BIOS-provided physical RAM map:
 BIOS-88: 0000000000010000 - 0000000000020000 [    64KiB] (usable)
 BIOS-88: 0000000000029000 - 000000000009f000 [   472KiB] (usable)
 BIOS-88: 000000000009f000 - 0000000000100000 [   388KiB] (reserved)
 BIOS-88: 000000000013f000 - 0000000000400000 [  2820KiB] (usable)
 BIOS-88: 0000000000400000 - 000000000e000000 [225280KiB] (usable)
 BIOS-88: 000000000f000000 - 00000000c0400000 [2904064KiB] (usable)
3076MB LOWMEM available.
hm, page 00000000 reserved twice.
map_fpage(from=f0128000  to=f0130000  base=00000000  sndfp=bf000167 
rcvfp=bf000160)  paddr bf020000
--- "KD# map_fpage(): Mapping already exists." ---
--------------------------------- (eip=f0107f99, esp=f01111c0) ---

Any ideas?
  gjoel123 at

More information about the l4-hackers mailing list