Raspberry Pi port, piCore-15.0 is available!
unzip piCore64-13.0.zipsudo dd if=piCore64-13.0.img of=/dev/mmcblk bs=4M conv=fdatasync status=progress