As an aside, I'm sure every one knows there are many embedded Ada OSs. These are the Ada RTSs that are also written in Ada. Further there at least two government programs for what were then termed APSEs. Both the ALS and SDME APSEs were Ada OSs with a bundled support environment.