Nexys4DDR v1

It will boot to the monitor. Basic is available at b00000, just set the PC at $0004/6 to b00000 (by using edit (e)) and press B. Basic can use the DDR2 ram which is set to any memory above FFFF and below A00000.
You can upload an srecord file using the monitor by connecting a PIN (I used JD) to rxd2. Press (L) in the monitor to load. I used realterm set to 9600 for the console and 115200 to upload files.
Pressing ? in the monitor lists commands

Merlin-Arty-1.1

• Double precision FPU
• Interrupts
• Timers
• Keyboard
• Switch to 100T
• UART link to ESP32 on Pmod B (+ Terminal code)
• Add in sqrt into FPU
• Add L2 cache in front of DDR
• General tidy up of some old files and directories
• Update project .tcl file