L4 on iPAQ

[Dominik Gummel]

Hello,


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)? 


We need L4 on the iPAQ because we are going to port PERSEUS to it.
My part will be the port of Linux 2.4 to L4/ARM (it will be my master thesis).


Thanks & Regards,
Dominik


-- 
Universität des Saarlandes
Department for Computer Science, Cryptography and Security
Dominik Gummel              email: bofh at krypt.cs.uni-sb.de
Building 45, Room 536     Im Stadtwald,D-66123 Saarbrücken
Tel.: +49(681)302-5608    Fax.: +49(681)302 4631     Fu  0172-6916265
public key http://www-krypt.cs.uni-sb.de/~bofh
Fingerprint 5057 7FD9 A0DB 5B92 F1A2  46C1 0070 6200 AAE1 98A9