Raspberry Pi port, piCore-15.0 is available!
I thought this was the request thread, but now realize it's not. Sorry about that.