Raspberry Pi port, piCore-14.0 is available!
$ make mrproper$ cp config-3.8.13-tinycore .config$ make oldconfig$ make menuconfig [adjust sctp settings]$ make