I have Thunderbolt cousins with Nortel brand name.
I've used lab supplies (switching power supply but very high quality) and open frame linear power supply with good results. Many commercially produced GPSDO has switching power supplies inside them, but they have filters on output side to remove ripples and noise.
Mine (Nortel GPSTM) has built-in power regulator inside the case. It basically takes 24V to 48V and down-convert them and cleans it up. So theoretically, I can use any power supply with up to 100mV p-p ripple/noise.
Most common recommendation here on forum is, to stick with linear supplies and you can't go wrong. With switcher, use with care or you take your chances.