Raspberry Pi port, piCore-15.0 is available!
I've noticed there isn't one make yet, and there's no one talking about it on the forums.