[dboreham]

I don't think tinycc can compile the Linux kernel into a bootable image.

[Calavar]

It could once upon a time: https://www.bellard.org/tcc/tccboot.html

It can't do that today though. Linux uses C11 features and also many GCC extensions that tcc doesn't implement.