Raspberry Pi port, piCore-15.0 is available!
http://forum.tinycorelinux.net/index.php/topic,13362.msg74042.html#msg74042
[sorry for double posting; I had replied to the wrong thread]