3 ms·

I am sure rwmj was smart enough to use `taskset` to make this experiment meaningful.

• rwmj 2y ago
  Hehe, if only :-( However I do want to know what's best with the default Linux scheduler and just using 'make' rather than more complicated commands.