[okl4-developer] OKL4 on iPAQ 3800

[Kamal Kant Gupta]

Hi

I am a Phd student and I am trying to run L4 with linux (wombat) on top. I am able to compile binary image for L4 alone but when I tried wombat=True option, I am getting an error saying "in line 32 of okL4/linux/kernel/Sconscript: name "linux_conf_file is not defined". 

However, since I know my iPAQ has sa1100, so I added two lines above the line 32 namely:

wombat_cflags="-DENDIAN_%s " % env.machine.endian.upper()
linux_conf_file="l4linux_config_sa1100"

and then when I do, ./tools/build.py machine=ipaq_h3800 project=iguana test_libs=iguana wombat=True

it works. So my concern is, am I right ? If not, how to resolve the above error.

Secondly, now I somehow succeeded in transfering my image but I am getting the following error:
*********************************************************************************************************
Calling fcn=C0000000
  a0=00000000
  a1=00000000
  a2=00000000
  a3=00000000

OKL4 - (provider: Open Kernel Labs) built on May 27 2007 21:49:22 using gcc vers
ion 3.4.4.
init_spaceids:125: Init spaceids 256 spaces

 *****************************************
 *  Iguana system, Copyright 1996-2006   *
 *  ERTOS - National ICT Australia       *
 *****************************************

vbase is 0x1402000, vend is 0xcfffffff
addr is 0x1402000, vbase is 0x1402000
iguana/server/src/bootinfo.c:463 bi_execute: Record 145: Failed to create a mems
ection
--- KD# User: PANIC: Bootinfo did not initialise correctly ---

************************************************************************

Many thanks in advance, 
Regards
Kamal