[smaudet]

An article over, these claims are exaggerated - they have dumped the tinycc compiler, not written one from scratch.

[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.

[simonw]

tinycc wasn't written in Rust.