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@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