On Thu, 2011-09-22 at 16:41 +0200, Peter Zijlstra wrote:

On Thu, 2011-09-22 at 16:38 +0200, Mike Galbraith wrote:

quoted

On Thu, 2011-09-22 at 16:34 +0200, Peter Zijlstra wrote:

quoted

On Thu, 2011-09-22 at 15:42 +0200, Mike Galbraith wrote:

quoted

#include <cpuset.h>

I don't seem to have that, where does that come from?

libcpuset-devel.

Not in any distro near me. I'm assuming its this stuff:

(move closer to Nürnberg;)

  ftp://oss.sgi.com/projects/cpusets/download/libcpuset.html

Yeah, that should be it.

	-Mike

--
To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html