I added instrumentation to track FPGA-internal state on my scope.
I first tried to have a look at the FSM state, but that's trickier
than I expected and may tell me less that I had hoped.
I then looked at the I2C bit counter (D0-D3, SDA yellow, SCL is
blue):
http://downloads.qi-hardware.com/peopl
This patch adds the memory card pins to the M1 platform definition in
mibuild.
I've tentatively named them "mmc". As far as I can tell, "MMC" is not
trademarked ("MultiMediaCard" the new "eMMC" would be), and "MMC" is
commonly used in the industry in a descriptive way to refer to this
sort of inte