L4 on iPAQ

[Volkmar Uhlig]

> I'm trying to install L4 on the iPAQ (3870).
> So far, my iPAQ has the "bootldr" bootloader and Linux installed.
> I tried to load the precompiled hazelnut rc2 evaluation suite 
> for the brutus 
> evaluation board over serial cable to ram (to address 
> 0xC1000000) und jumped 
> to this address (as Volkmar described in nov 2002 on this list).
> This didn't work. The iPAQ wrote some digits on the serial 
> line and crashed.
> Has anyone who sucessfully installed L4 on the iPAQ some hints for me?
> Must I compile my own custom L4 for the iPAQ? 
> Or must I use angelboot (I didn't find docs about it in google)? 

You have to compile your own version of Hazelnut specifically for the
iPaq. The Brutus board is not compatible (the memory layout is
different).

- Volkmar