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