Hi,

I am working on the Perseus (www.perseus-os.org) project and we are currently using an l4ka kernel. At the moment, we still use L4 V2.

Greets, Dominik -- Universität des Saarlandes Department for Computer Science, Security and Cryptography 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 5636 public key http://www-krypt.cs.uni-sb.de/~bofh Fingerprint 8BED E39C 711C 3ECA B35F E5E7 846D 6661 C091 51AE