How about a test without video at 125MHz? It would be good to know if that boots to the expected leds.
My simulation now ran for 400ms, but it is still doing stuff with the file system at that time.
ERROR: Failed to pack flipflop 'controller.dbi_FF._TECHMAP_REPLACE_' with 'syn_useioff' set into IOLOGIC. ERROR: Packing design failed.
@sthornington I've not built from scratch for a while, so no recent experience. However, some 12 months ago I was building from scratch on Catalina and it took some time to get right (at that time the issue was with the boost libraries). In general, it seems to me that the Trellis build for OSX can be troubled from time to time.
The daily builds over at https://github.com/open-tool-forge/fpga-toolchain may be your best source of clues: they will probably be the first to notice something going wrong in the build. Their build scripts may also provide an answer for your issue.
@emard Maybe indeed there is a total failure of sdram, although I would surprised that it would get as far as leds=0x84 in that case. I am running tests with the sdram model that @edbordin found and that has already identified some issues (like my refresh commands being spaced too closely together).
Maybe the HEX interface can track the commands that are sent to the sd card? This way we can check that the sequence prior to leds=0x84 runs as expected or not.