On Thu, 2011-09-22 at 16:41 +0200, Peter Zijlstra wrote: > On Thu, 2011-09-22 at 16:38 +0200, Mike Galbraith wrote: > > On Thu, 2011-09-22 at 16:34 +0200, Peter Zijlstra wrote: > > > 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? > > > > 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@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
