Raspberry Pi port, piCore-15.0 is available!
tinycore desktop=fluxbox
Could set $DESKTOP or echo it into /etc/sysconfig/desktop (this is what the boot option does)