Add real sched.h It is required by IEEE Std 1003.1-2008 AKA POSIX. Put some Linux compatibility stuff under BSD_VISIBLE namespace, in particular, sys/cpuset.h definitions. Also, if user really want Linux compatibility, she can request cpu_set_t typedef with _WITH_CPU_SET_T define.
Add sched_get/setaffinity for compatibility with Linux. [*]
- Yes I know that this is racy. The API is needed for providing seed for D32505
Add sched_getcpu() for compatibility with Linux.
x86: provide userspace implementation of sched_getcpu() where possible
sched.h: add CPU_EQUAL() for better compatibility with Linux