2 ms·
On an i3 machine with plenty of RAM and an SSD, and GCC 4.9, a recent kernel builds in about 3.5 minutes. That's using the "defconfig" target, which is pretty b
by teraflop 12y ago
On an i3 machine with plenty of RAM and an SSD, and GCC 4.9, a recent kernel builds in about 3.5 minutes. That's using the "defconfig" target, which is pretty bare-bones (only ext4, very few device drivers or fancy new features).
As another data point, Debian's kernel configuration on the same hardware takes 26 minutes to build.
- userbinator 12y agoOne of the other benchmarks linked to on the page shows tcc compiling 10x faster than GCC 4.9 -O0 running on the RPi, and 41x faster than GCC -O3: http://lists.nongnu.org/archive/html/tinycc-devel/2013-02/msg00043.html http://lists.nongnu.org/archive/html/tinycc-devel/2013-02/ms... I think 3.5 minutes down to less than 15 seconds for a recent kernel is probably possible. On the other hand, tcc generates code which runs 3.5x slower, so you'd have to be doing a lot of compiling and not much running for it to save any time. JIT'ing the kernel is a fun exercise, nonetheless.