Raspberry Pi port, piCore-15.0 is available!
The md5sums checked out ok, but I recreated them anyway. See if it works now.