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 design. If some peoples in the L4 team have some experience with L4, please contact me.
Regards,
Frédéric.
"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."