All aircraft critical systems on Boeing commericial aircraft have to be tested to DO-178B Level B at least, DOS isnt an OS qualifed to any level of DO-178B, so its not used in any flight systems at all. At this point only 3 OS's are actually qualified to DO-178B, everything else is hand written OS's like we did on the C130J's we delivered to Australia and every single line of it is inspected one at a time.
-Tig