Ada run-time

Frederic BOYER fboyer at
Wed Feb 5 09:56:12 CET 2003

Hello Nicholas.

I haved. In the past, I start the development of an QNX like OS on top of
L4 written in Ada.
All the servers were written in Ada (but used the pragma NO_RUN_TIME)

The most difficult is to write the GNART (or GNULLI don't remember) of the
GNAT compiler to
directly use the L4 thread and memory managment.

This project is in stand by for me. The main pb is that my HD which hosted
the projects crash
and I didn't do save :-(

Give me news.

Bye bye.


Nicholas Hannah <nhannah at> on
05/02/2003 07:25:24

Sent by:    l4-hackers-admin at

To:    l4-hackers at
cc:     (bcc: Frederic BOYER/PARIS/CAI-Cheuvreux)

Subject:    Ada run-time


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



l4-hackers mailing list
l4-hackers at

"This message,  including any attachments may contain confidential and
privileged material;  it is intended only for the person to whom it is
addressed.  Its  contents  do not  constitute  a commitment  by Crédit
Agricole Indosuez Cheuvreux  except  where  provided  for in a written
agreement.  Crédit Agricole Indosuez Cheuvreux assumes no liability or
responsibility for the consequences arising out of a delay and/or loss
in  transit  of  this  message,  or for corruption  or other  error(s)
arising in its transmission and for any misuse or fraudulent use which
may  be made thereof.  If you are not the  intended recipient,  please
contact us  and abstain from  any disclosure, use or dissemination. To
the extent  that  this message  contains  research information  and/or
recommendations,  these  are  provided  on  the  same  basis as Crédit
Agricole Indosuez Cheuvreux's  published  research  and  the recipient
must  have  regard  to  all   disclosures  and  disclaimers  contained

More information about the l4-hackers mailing list