Raspberry Pi port, piCore-15.0 is available!
It may be a little bit before I get a chance to update, but I will put it on the list.