Using TinyCC to compile Linux (2.4) kernels
github.com
github.com
It sounds slow, but it needn't be if you have the right caching in place. Binaries could even be recompiled with better/slower compilers as needed to give better performance too.
Now I think about it it isn't so different from the android/java model of shipping applications as bytecode...
If you take a modern kernel (like 5.x) and build configure it with 'make tinyconfig', it should build similarly quickly.
The right(TM) way would be to port linux to simple and lean C (like some simple C89 with benign bits of c99/c11): the price is some loss of performance which could be partially mitigated with an assembly port of critical fast-paths (I guess that would show on really loaded servers only).
In the end, if RISC-V is a success, namely a world with a pertinent ISA without toxic IP tied to it (like x86/arm), then a full assembly port of linux would be more than interesting in order to rid it from compiler tantrums.
Linux 5.x kernel that is, but not Linux 4.x kernel because that was tcc-compilable?