Juste pour dire que ça va quand même assez vite, même sur un ancien i5: $ export CROSS_COMPILE=arm-none-eabi- ARCH=arm $ make vexpress_defconfig ; $ time make -j 5 real 5m4.861s user 14m2.142s sys 1m30.675s :-)