Hi I'm now so far that it fetches the setup instructions from the boot ROM. Next step is getting it to boot from the SD card image provided by the SD card behavioral model. When I get this to work, I can use dd to make a bootable SD card and the ROM loader is anyway hard wired. With the DRAM Luke has suggested I see a bright future again for our own 100% libre SoC. As soon as I've got something that works and have fixed all the bugs (which I'd be ashamed of to mirror for all eternity on GitHub ^^') I will push it.
@Hagen: I still haven't heard back from HKUST BTW
Cheers David