Ada run-time

[Christian Stüble]

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 at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

-- 
Christian Stueble <stueble at 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