On Thu, 2011-09-22 at 15:42 +0200, Mike Galbraith wrote:> #include <cpuset.h>I don't seem to have that, where does that come from?