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