[amsat-bb] SatPC32 vs. HRD