Fwd: l4linux on pistachio with intel c compiler

Hi,

I've tried to boot l4linux on pistachio but I get the next error:

###########################################

  Booting 'L4Ka::Pistachio'

kernel /kickstart
   [Multiboot-elf, <0x800000:0x5f3c:0x14ac>, shtab=0x808280, entry=0x800030]
module /ia32-kernel
   [Multiboot-module @ 0x821000, 0x29922 bytes]
module /sigma0
   [Multiboot-module @ 0x84b000, 0x1eae8 bytes]
module /vmlinuz.VX2 no-scroll console=herc console=tty
   [Multiboot-module @ 0x86a000, 0x15619c bytes]

KickStart 0.11.7
Detected multiboot compliant loader
 kernel     => 0x00142000
  (0x00821000,0x0000d324)->0x00100000
  (0x0082f000,0x00006328)->0x0010f000
  (0x00836000,0x00009ba8)->0x00116000
  (0x00840000,0x00002eec)->0x00140000
 sigma0     => 0x00020000
  (0x0084c000,0x00006038)->0x00020000
 roottask   => 0x003ff000
  (0x0086b000,0x000fd158)->0x003ff000
  (0x00969000,0x0000d824)->0x004fd000
  (0x00977000,0x00046300)->0x0050c000
  (0x009bd000,0x00000000)->0x00554000
Launching kernel ...

L4Ka::Pistachio - built on Mar 20 2006 18:32:28 by victor@ares using
gcc version 3.3.6 (Ubuntu 1:3.3.6-8ubuntu1)
init_emulibpager initialized to c0001
L4Linux: init_l4_resource_management empty
bootmem: f000000, c0400000
start_pfn=f000000, bootmap_size = 18080
Linux version 2.4.30-l4 (victor@ares) (gcc version 3.3.6 (Ubuntu
1:3.3.6-8ubuntu1)) #2 Mon Mar 20 18:41:05 CET 2006
Bootinfo: Found MBI @ 00002000
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: 0000000000140000 - 0000000000400000 [  2816KiB] (usable)
 BIOS-88: 0000000000400000 - 000000000e000000 [225280KiB] (usable)
 BIOS-88: 000000000f000000 - 00000000c0400000 [2904064KiB] (usable)
3076MB LOWMEM available.
hm, page 00000000 reserved twice.
map_fpage(from=f012a000  to=f0132000  base=00000000  sndfp=bf000167
rcvfp=bf000160)  paddr bf020000 != bf000000
--- "KD# map_fpage(): Mapping already exists." ---
--------------------------------- (eip=f0108264, esp=f0112280) ---

###########################################

The setup was:

Pistachio from CVS on July,4th 2006
L4Linux from CVS on July,4th 2006
GCC 3.4
Running environment:
  a) Qemu 0.80
  b) Pentium 4 2.4GHz

The same failure happened in both environments (emulator and real hardware).
So, I'd like to know whether anyone knows how to solve this problem.
Additionally, getting the l4linux configuration file and all the
options used in pistachio building could also be helpful. Does anybody
have a working image of l4linux on top of pistachio, so I could test
whether that image works in my computer?

Thanks in advance,
Victor Jimenez