TMS320C28341: TI-RTOS Kernel (SYS/BIOS) validation

Part Number: TMS320C28341

I am doing a Sys/Bios assessment as part of a real-time device assessment.

There does not appear much public information on how the OS is validated
e.g. MISRA code compliance, Test suites/regression tests

Is such a description available anywhere?