Raspberry Pi port, piCore-15.0 is available!
Hmmm, wait?this repo:http://tinycorelinux.net/10.x/armv7/releases/RPi/src/kernel/?Seems i'm doing something wrong