RTEMS  5.1-rc2
_kernel_cpuset.h