On Thu, 12 May 2016 16:08:34 +0200 Daniel Wagner <wagi@xxxxxxxxx> wrote: > In short, I haven't figured out yet why the kernel builds get slightly slower. You're doing make -j 200, right? How many cores do you have? Couldn't it be that you're saturating your CPUs? You could try make -j<NR CPUs>, or some process creation benchmark. Although I don't know what's the best way to measure this. -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
