RPi-GPS-PPS-StratumOne:将Raspberry Pi设置为Stratum One时间服务器(带PPS的GPS)