I've been a little quiet on this but still making progress, so just a small update.
I found some issues during testing which I didn't immediately notice, but that is the nature of prototyping! One major problem I discovered was that I'de used some critical configuration pins for the blue colour output DAC, which meant that I couldn't get the FPGA to configure itself on power-up from the internal flash memory. It could only be programmed live via the jtag, and would lose configuration when powered off, kind of negating the point of using the MAX variant.
A bit of wire bodging solved the problem, but I thought what with that and a few other issues I had found (like SD card holder being the wrong way round, and the audio amp oversaturating), I thought I may as well jump to version 0.2 and get another batch of PCBs manufactured with the tweaks, so I'll get a few of these populated in the next week and carry on testing.
Otherwise, I did manage to test the various peripherals. The i2S sound DAC works, audio amp works (after adding some attenuation resistors), analog inputs work, 16Mbyte hyperram works, and I've had a 256 colour framebuffer running on the 1Mbyte SRAM.
Also managed to get a 6502 core running and booting a test program from the FPGAs internal flash user memory to write pixels to the framebuffer.
One thing I haven't tested yet is the SD card handling, but I've double checked the wiring, and added a couple of extra IO lines to the card interface so I should be able to bump it up to 4-bit mode. I should be testing that this week, and also hopefully do a bit of work on a blitter.
V0.2: