My recollection is that Wind River and Mentor Graphics provide
certification evidence on DVD (plans, requirements and design
documentation, source code, evidence of reviews, analyses and tests, etc.)
that their customers can submit to the certification authorities as part of
the certification evidence for their own system.