Raspberry Pi port, piCore-15.0 is available!
excerpt from a previous topic.http://forum.tinycorelinux.net/index.php/topic,23639.msg148333.html#msg148333