We are using a TMS570LS3137 and a TMS320F28335 for a DO-178C Level A avionics project. It looks like there are some runtime support libs that are built into our project in CCS, specifically 'rts2800_ml.lib' and 'rtsv7R4_T_be_v3D16_eabi.lib'.
Since the project must go through the FAA's certification process, we must be sure not to include any executable code which is not executed or is not fully verifiable.
What function do the libraries provide and can we exclude them?
If we cannot exclude them, is it possible to get the source code for the libraries?
What are the implications of not including the runtime support libraries?