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