Raspberry Pi port, piCore-15.0 is available!
LABEL tinycore-kexecmenu label Start Tiny Core-1.3rc3 with ^kexec supportkernel /syslinux/kexec.bzIappend initrd=/syslinux/tinycore.gz quiet base norestore waitusb=5