Dépôts open source suivis de splinedrive, triés par étoiles.
SoC RISC-V XV6/Linux, marchID : 0x2b, 0x34
