Raspberry Pi port, piCore-15.0 is available!
tce-load -wi cfdisk grub-0.97-splashReplace tinycore.gz with microcore.gz where applicable, though.