Raspberry Pi port, piCore-15.0 is available!
the master repo copies are here:http://www.tinycorelinux.net/8.x/x86_64/release/distribution_files/