Hello, we just got some iPAQ 3870 Handhelds (very nice little devices :-) and I will try to port PERSEUS to it. Obviously, I should start with installing L4 onto it. But I don't know more than that I have installed the bootldr Bootloader that can boot images from Serial or CF (installing plain linux works well). Has someone else tried to install L4 on iPAQ and can give me hints how to do it? If not, what should I do first? What should I read? Next, L4Linux has to be ported to the StrongARM. Is there a L4Linux/ARM available somewhere? Is someone working on it or has a student that can do it? I can try to do so, but I fear here in Saarbruecken it is difficult to find students with experiences in Linux, C and OS in general. Maybe, I have to do it myself, but I will need help from the DROPS and L4KA people... Thanks & Regards, Chris -- Christian Stueble <stueble@cs.uni-sb.de> Saarland University, Dept. for Computer Science Security and Cryptography Group @Saarland University/DFKI Im Stadtwald, D-66123 Saarbruecken, Building 45, Room 534 Tel.: +49(681)302-5635 Fax.: +49(681)302 4631 Get public key from http://www-krypt.cs.uni-sb.de Fingerprint 8678 C5D3 CAD9 CD8C F1DD B8EC 202F 116A