Raspberry Pi port, piCore-15.0 is available!
default 0timeout 10title tinycorekernel /boot/bzImage quietinitrd /boot/tinycore.gzIf unsure, copy and paste the above. Note there's a capital i in bzImage.
cp -p /mnt/hdc/boot/* /mnt/hda1/boot/This will copy over bzImage and tinycore.gz. Ignore any "omitting directory" warnings.