The tinySA has an internal 30MHz TCXO which is quite accurate already. Any deviations can be further corrected by using a precision clock counter and performing a calibration like Erik showed in one of his videos:
https://www.youtube.com/watch?v=rli2oL3TbPI