I am not expert in this subject, just find some information on the web. Maybe it could be anchor point for your research
See this document:
Here is citation: FINX-RTOS (a Gentoo based distribution managed by Finmeccanica) have been customised to satisfy Design Assurance Level D requirements