Erfasste Open-Source-Repos von splinedrive, sortiert nach Sternen.
RISC-V XV6/Linux SoC, marchID: 0x2b, 0x34
