L4 on iPAQ
bofh at krypt1.cs.uni-sb.de
Wed Apr 2 15:50:25 CEST 2003
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,
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
More information about the l4-hackers