Community gatherings on Freenode at #tinycorelinux (webchat)
Hmmm, wait?this repo:http://tinycorelinux.net/10.x/armv7/releases/RPi/src/kernel/?Seems i'm doing something wrong