Raspberry Pi port, piCore-16.0 is available!
cpio -idv -F microcore.cpio
find | sudo cpio -o -H newc -F microcore.cpio