Raspberry Pi port, piCore-15.0 is available!
tce-load -w -i appbrowser-cli.tcz
title tc minefield+compiletckernel /boot/bzImage tce=hda5/tc/mine restore=hda5/tc/mine quietinitrd /boot/tinycore.gz