Hello, ok, i little bit too late... :-) But I am also interested in having an Ada runtime library running on L4. Background: I am developing a security kernel based on L4 (see http://www.perseus-os.org). Although the current prototype is implemented in C++, we plan to switch to another programming language later. Until now we do not have decided to which language (e.g., PVS, OCAML, ...) but the information available about Ada are also very promising. Ciao, Chris Am Mittwoch, 5. Februar 2003 07:25 schrieb Nicholas Hannah:
Hello,
Is anyone interested in having the Ada run-time library running on L4? Has any work been done on this? I would consider contributing to an effort to get the core language going if there were others interested.
I imagine it would be especially useful running on the StrongARM port of L4 for embedded systems development.
chao,
Nicholas
_______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
-- Christian Stueble <stueble@cs.uni-sb.de> Saarland University, Dept. for Computer Science Chair of Cryptography and Security 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