Raspberry Pi port, piCore-15.0 is available!
From the FAQ: http://distro.ibiblio.org/tinycorelinux/faq.html#wbar