Waiting for my core32 pcb+kit actually, but yes I plan to develop some application.
It would be great to have access there so we can share knowledge.
Love.
Well, seems like setting
MIOS32_PATH=/c/midibox/mios32
MIOS32_BIN_PATH=/c/midibox/mios32/bin
instead of
MIOS32_PATH=c:\midibox\mios32
MIOS32_BIN_PATH=c:\midibox\mios32\bin
makes it to work :)