Indeed, from TCC homepage
FAST! tcc generates x86 code. No byte code overhead. Compile, assemble and link several times faster than GCC.I wonder if it is possible to compile the kernel with tcc and if it will bring any benefits.Compilation Speed:...
TinyCC is about 9 times faster than GCC.