A good deal of progress has been made on the RDP software front, and there is now a simple user interface that allows for the setting of the receive frequency. Setting the receive frequency results in the VFO and BFO signals being correctly set in the Si5351: so a calculator is no longer needed to adjust the clock signals correctly.
I have updated the website with a description of the receiver user interface as it stands right now:
http://openardf.org.
Feel free to post any questions or comments here, or on the web site. Next I plan to start populating the Receiver X1 board.