l4ka:: pistachio CVS source not directly usable ?

Hi All,
Before i start debugging problem, i thought of running L4Ka::pistachio
on skyeye for pleb2 platform. the following is the output

--------------------------------------
big_endian is false.
arch: arm
cpu info: xscale, pxa25x, 69052100, fffffff0, 2
mach info: name pxa_lubbock, mach_init addr 0x4188b0
uart_mod:0, desc_in:, desc_out:, converter:
SKYEYE: use xscale mmu ops
exec file "contrib/elf-loader/arm-loader"'s format is elf32-little.
load section .text: addr = 0xa2000000  size = 0x00002814.
load section .rodata: addr = 0xa2002818  size = 0x0007e919.
not load section .bss: addr = 0xa2081134  size = 0x00000004 .
not load section .comment: addr = 0x00000000  size = 0x00000134 .
not load section .ARM.attributes: addr = 0x00000000  size = 0x00000027 .
start addr is set to 0xa2000000 by exec file.
install_module: Installing root (0xa206e7d0, 0xa2081131)
install_module: root: (0xa01b0000, 0x52bc)
install_module: Skipping sigma1
install_module: Installing sigma0 (0xa2057540, 0xa206e7c2)
install_module: sigma0: (0xa01a0000, 0x6734)
install_module: Installing kernel (0xa2002a90, 0xa205753e)
install_module: kernel: (0xa0100000, 0x40000)
elf-loader: Looking for KIP at a011b000
Jumping to kernel @ 0xa013c000
----------------------------------------------------
The pxa_lubbock is only xscale definition none of the memory maps are used
----------------------------------------------------


I used the NICTA kernel with the same configuration and it boots
--------------------------------------------------
big_endian is false.
arch: arm
cpu info: xscale, pxa25x, 69052100, fffffff0, 2
mach info: name pxa_lubbock, mach_init addr 0x4188b0
uart_mod:0, desc_in:, desc_out:, converter:
SKYEYE: use xscale mmu ops
exec file "build/bootimg"'s format is elf32-little.
load section .text: addr = 0xa0008000  size = 0x000029c4.
load section .glue_7: addr = 0xa000a9c4  size = 0x00000000.
load section .glue_7t: addr = 0xa000a9c4  size = 0x00000000.
load section .rodata: addr = 0xa000a9c8  size = 0x0002f278.
load section .data: addr = 0xa0039c40  size = 0x000000b4.
load section .got: addr = 0xa0039cf4  size = 0x00000010.
not load section .bss: addr = 0xa0039d04  size = 0x00000404 .
not load section .comment: addr = 0x00000000  size = 0x0000018c .
not load section .debug_aranges: addr = 0x00000000  size = 0x000002e0 .
not load section .debug_pubnames: addr = 0x00000000  size = 0x000007e4 .
not load section .debug_info: addr = 0x00000000  size = 0x00004159 .
not load section .debug_abbrev: addr = 0x00000000  size = 0x000011be .
not load section .debug_line: addr = 0x00000000  size = 0x00001140 .
not load section .debug_frame: addr = 0x00000000  size = 0x00000780 .
not load section .debug_str: addr = 0x00000000  size = 0x00000dd7 .
not load section .debug_ranges: addr = 0x00000000  size = 0x000000c0 .
start addr is set to 0xa0008000 by exec file.

NICTA::Pistachio - built on Aug  6 2007 19:40:53 by prem@Gentoo using
gcc version 3.4.4
Initializing kernel space @ f0018000...
Initializing KIP...
Initializing kernel debugger...
Initializing interrupts...
interrupt vector[0] = f000d7d8
interrupt vector[1] = f000d7d8
interrupt vector[2] = f000d7d8
interrupt vector[3] = f000d7d8
interrupt vector[4] = f000d7d8
interrupt vector[5] = f000d7d8
interrupt vector[6] = f000d7d8
interrupt vector[7] = f000d7d8
interrupt vector[8] = f000d7d8
interrupt vector[9] = f000d7d8
interrupt vector[10] = f000d7d8
interrupt vector[11] = f000d7d8
interrupt vector[12] = f000d7d8
interrupt vector[13] = f000d7d8
interrupt vector[14] = f000d7d8
interrupt vector[15] = f000d7d8
interrupt vector[16] = f000d7d8
interrupt vector[17] = f000d7d8
interrupt vector[18] = f000d7d8
interrupt vector[19] = f000d7d8
interrupt vector[20] = f000d7d8
interrupt vector[21] = f000d7d8
interrupt vector[22] = f000d7d8
interrupt vector[23] = f000d7d8
interrupt vector[24] = f000d7d8
interrupt vector[25] = f000d7d8
interrupt vector[26] = f000d7d8
interrupt vector[27] = f000d7d8
interrupt vector[28] = f000d7d8
interrupt vector[29] = f000d7d8
interrupt vector[30] = f000d7d8
interrupt vector[31] = f000d7d8
System running with alignment exceptions enabled
Initializing timer...
interrupt vector[26] = f000e1b0
Mem Speed = 99532kHz
Run Speed = 99532kHz
Turbo Speed = 99532kHz
Registering processor 0 in KIP (99MHz, 99MHz)
Initializing scheduler...
Initializing threading
Switching to idle thread (CPU 0)
system has 32 interrupts
Initializing root servers
root-servers: utcb_area: cff00100 (64KB), kip_area: ff000000 (0KB)
creating sigma0 (00100001)
creating root server (00108001)
idle thread started on CPU 0
Hello, world. Press any key to continue
That's all folks!
--- KD# User: L4_Rootserver abort()ed ---
>
----------------------------------------------------------------------------------------
Thats it nothing more is seen. Is there anybody making sure that the
changes to the CVS are bootable across platforms. Looks like ARM
platforms are not much tested.
-------------------------------------------------------------------
/Prem