The exact number of used M4K blocks can be seen in the Compilation Report -> Fitter -> Resource Section -> Resource Usage Summary ( look for M4Ks or Total block memory implementation bits).
You could probably easily fit the whole de1_boot.bin inside the free space
Ah, ok. According to that i have used 44 of 105 M4Ks. So yes, please send me the file for embedding the io controllers firmware into the fpga. Also some small instructions how to use it would be fine. And i assume i have to modify the firmware to make it not copy itself to sram as that doesn't make too much sense when using internal memory.
Is anyone of you running his minimig at 8MHz? Increasing the system clock by 10% should result in a vga compatible pal mode while only adding some minor shift to e.g. the audio frequencies. I have the problem that none of two screens on my lab table displays the pal mode nicely.
BTW: MMrobinsonb5, your board imho only has a 50MHz clock. Do you generate the amiga clock from that as well? Is there a clock you guys would like to have which can't easily be generated by pll?