Raspberry Pi port, piCore-15.0 is available!
the original core.gz file was somewhere that the find command could see it.