Raspberry Pi port, piCore-15.0 is available!
Odd, getting a 404 on it in the v6 one trying to download it. ...
... It appears to be missing in the ARMv7 repo. ...