RTEMS SMP QDP (Qualification Data Package)
A prequalification toolkit allows end-users to qualify their space applications on bespoke (space-qualified) hardware. The primary focus has been on qualifying the SMP elements of the RTEMS super core. The target application area is payload (instrument) data processing, the exact scope is defined in space profile subset .
The base-line target platforms are the Cobham Gaisler GR712RC (Leon3 dual core); and GR740 (LEON4 quad core) System-On-Chips and associated Gaisler reference boards.
The pre-qualification toolkit uses the GCC-based cross-compiler provided by the RTEMS Source Builder as baseline (RSB -currently at GCC v10.2.1).
Full alignment with the (qualified) Mathematical Library for Flight Software (see MLFS project on ESSR) .
The website https://rtems-qual.io.esa.int contains the full information and the data packets.