And from it grew tccboot (https://bellard.org/tcc/tccboot.html), a boot loader which compiles the Linux kernel on the fly from source then runs it, the entire process taking only a few seconds ("15 seconds on a 2.4 GHz Pentium 4.")