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.