Raspberry Pi port, piCore-15.0 is available!
$ ./configure --blah --blah$ make$ sudo make install
I already upgraded to TC 6 and already installed gcc, compiletc ...