My understanding was certification can only happen once installed on one (sample) plane. So the non-certification may not be the deciding factor, but rather that OS apparently will not get its equivalent of Allegris. Complexity rules !