C'è qualcuno che l'ha provato?
Se ho capito bene con TCC dovrebbe essere possibile compilare qualsiasi programma in C.
E se continuo a comprendere bene dovrebbe essere velocissimo: il boot di un kernel credo il 2.4.26 con Pentium 4 2,4 GHz, compilato con TCC, sembra che avvenga in 15 secondi !