Jim:
I am going to e-mail you separately on this one. There definitely are/were some ARM RTOS solutions for the DM6446 that would have support for DO-178 certification artifacts.
However it looks like the question may be more about Starterware than an RTOS. We need to establish more precisely what the customer is requesting before we can proceed.
Nick