Erfasste Open-Source-Repos von RTEMS, sortiert nach Sternen.
Nur-Spiegelung, siehe https://gitlab.rtems.org/rtems/rtos/rtems
