Code modified from https://projecthub.arduino.cc/CesarSound/10khz-to-225mhz-vforf-generator-with-si5351-version-2-acdc25.

Some related documentation at https://w1cdn.net.