TCXO & RT-Linux on PB

Hi Jason, Robert,

We have begun working with the PocketBeagle for our R&D, but we realized we
could use a version with a superior crystal oscillator like a TCXO onboard.
Can you confirm that such a board is available for sale? What are our best
options to get such a board? Desoldering the existing XO and putting a TCXO
doesn't sound very promising.

Also, is RT-Linux readily available for the PB now?

Thanks much,