Ada run-time

Christian Stüble stueble at
Wed Feb 19 12:03:51 CET 2003


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


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 at

Christian Stueble <stueble at>
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
Fingerprint 8678 C5D3 CAD9 CD8C F1DD B8EC 202F 116A 

More information about the l4-hackers mailing list