> Bellard did this in 15 seconds, in 2004 with a 2.4Ghz Pentium 4 But isn't ...

xyzzyz · on Dec 11, 2011

He did it with his own C compiler (tcc).

ars · on Dec 12, 2011

See: http://en.wikipedia.org/wiki/Tiny_C_Compiler#Compiled_progra...

There are tradeoffs for compiling very fast: Slower program execution.

beagle3 · on Dec 11, 2011

The base kernel is not a lot bigger. There are about four times as many drivers. (But bellard's compilation only included the ones needed, IIRC. google tccboot for more info)