[jronkone]

> Bellard did this in 15 seconds, in 2004 with a 2.4Ghz Pentium 4

But isn't Linux kernel a lot bigger nowadays?

[xyzzyz]

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

[ars]

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

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

[beagle3]

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)