Crystal oscillators are incredibly useful components, but they come with one little snag: their oscillation is ...

[Tom] used a Teensy 3.1 Arduino compatible board ... The VCXO means voltage controlled crystal oscillator. The crystal is 25 MHz and provides a very stable frequency source for the chip.