So far I have been using Tasking compiler but I'm planning to switch to Yagarto as it's free and a good complement of the open source idea.
The Tasking compiler has no makefile ? I tried to compile the sources with Yatargo, it works after some changes but linking is a problem because the startup code.
It seems i have to wait until you have ported the code.
Afaik Mikes Arcade Board has also an ARM CPU so that experiences with Yartago not only for the minimig board.
The current firmware occupies 45 KB of the total 256 KB.
That means there is enough space to develop menu driven starter to select different cores.
You need a JTAG interface to do a true on-chip debugging. You can use the USB port with appropriate embedded software as a serial port.
Found such thing on ebay from a chinese seller.
Here is another spectrum core with a board is nearly similar to minimig. Ok. Another FPGA and another ARM Cpu and SDRAM. http://code.google.com/p/speccy2010/