Ada L4

Frederic BOYER fboyer at
Fri Feb 3 14:38:30 CET 2006

Hi L4'er ...

We have began to rewrite a L4 lib with Ada and by now :
- We have all L4 types (threads, ...)
- We  make system calls
- We Allocate memory
- We have a minimal support exceptions.

Currently we are working on tasks.

We'd like to get a little help from L4 teams in order to make our OS
If some peoples in the L4 team have some experience with L4, please contact



"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 Credit Agricole
Cheuvreux except where provided for in a written agreement. Credit Agricole
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
Credit Agricole Cheuvreux's published research and the recipient must have
regard to all disclosures and disclaimers contained therein."

More information about the l4-hackers mailing list