Raspberry Pi port, piCore-14.0 is available!
#include <stdio.h>int main(){ printf("hello world!\n"); return 0;}
Did you install compiletc.tcz ?