Rational offers the MARK (Minimal Ada Runtim Kernel).  Which is
a configurable kernel delivered as source code.

Contact is Eddie Glenn (mailto:[log in to unmask])

Greg

> -----Original Message-----
> From: Team Ada: Ada Advocacy Issues (83 & 95)
> [mailto:[log in to unmask]]On Behalf Of Reinholtz Åke
> Sent: Thursday, February 10, 2000 4:26 AM
> To: [log in to unmask]
> Subject: Safety Critical Certification
> 
> 
> Subject: Safety Critical Certification
> 
> I search for an Ada Run-Time System which can be used in a Safety Critical
> Application. The Ada RTS and the Ada libraries must be in compliance with
> FAA (Federal Aviation Administration) RTCA/DO-178B for airborne software
> systems. Please send me a reply if you have information about this.
> 
> Best Regards,
> Åke Reinholtz
>