I discussed this briefly in the chat, but I would like to know the current
status of PilMCU (initial announcement here:
It appears some work was released by Alexander within PilOS, and is being
ported back to PilMCU.
In any case, I think this project is very interesting and I would love to
get involved with it.
Geo: Have you chosen an FPGA? Is it "affordable"? Assuming you've gotten it
running on actual hardware, I would be more than willing to pay for a
simple devkit in order to hack on this.