[okl4-developer] FW: OKL4 on iPAQ 3800

[Carl van Schaik]

Hi Kamal,

I have some patches to the release that you need for sa1100/ipaq.
I'm not sure how you got this far without them :)

You can reduce the size of the ramdisk in tools/pistachio/SConstruct
This is one of the main culprits for huge image sizes.

regards,
Carl

Kamal Kant Gupta wrote:
> 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
>
>
> PS: Sorry for the duplicate email.
>
>
> _______________________________________________
> Developer mailing list
> Developer at okl4.org
> https://lists.okl4.org/mailman/listinfo/developer
>
>