L4 & Ada

[Frederic BOYER]

Hello

I'm plan with a friend (Antoine) to port the L4lib from C to Ada.
So, it will be possible to write L4 server in Ada.
I'd like to know if someone have already try to do a such thing, and I'd
like advices from L4 guru to begin the work.

Thanks,

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