Raspberry Pi port, piCore-15.0 is available!
Not at this time.
When someone does the work. If you have such a board, it could be you.
Where I can find instruction to compile userland for microcore?