[beagle3]

It's a beast, but ... that's not a very impressive measure. Bellard strikes again -

From [0], in 2004: TCCBOOT is a boot loader able to compile and boot a Linux kernel directly from its source code. It is only 138 KB big (uncompressed code) and it can compile and run a typical Linux kernel in less than 15 seconds on a 2.4 GHz Pentium 4.

[0] https://bellard.org/tcc/tccboot.html [2004]

[anticensor]

I would prefer gccboot (with gcc -march=native -mtune=native) though, because tccboot cannot optimise the output.