Soft 404
So neat! So far all I know is that GPIO 4 is configured to output a clock signal
I believe the software claims an unused PLL and then DMA's control words into one of the config registers to frequency modulate the carrier.
There is also this github repo: https://github.com/F5OEO/librpitx which I guess is the low level implementation...
