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
Am Mittwoch, 5. Februar 2003 07:25 schrieben Sie:
Is anyone interested in having the Ada run-time library running on L4?
Yes, very much so! However, currently I don't have any resources/budget to put into this, but that might change. My company has been looking for students in the past who would like to do this as their diploma thesis. Last autumn, I had a student who was interested, but later he decided to go for a different subject (he ended up porting our (own) L4 implementation to the PowerPC architecture -- also not a bad subject IMO).
Has any work been done on this?
Frederic Boyer has done something along these lines (I see he posted a response to the mailing list).
I would consider contributing to an effort to get the core language going if there were others interested.
What is your background ? (i.e. are you a hobbyist, a CS student looking for a thesis, working for a company, ..) Depending on that, we might get something working together..
I imagine it would be especially useful running on the StrongARM port of L4 for embedded systems development.
Our main interest in this is the possibility to run multiple Ada programs alongside each other or even other OSes, where each is confined to it's own domain, both in terms of memory resources as well as computation time. This could be useful for safety-critical systems. Rob ---------------------------------------------------------------- Robert Kaiser email: rkaiser@sysgo.de SYSGO AG Am Pfaffenstein 14 phone: (49) 6136 9948-762 D-55270 Klein-Winternheim / Germany fax: (49) 6136 9948-10
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
participants (3)
-
Christian Stüble -
Nicholas Hannah -
Robert Kaiser