History log of /seL4-camkes-master/projects/musllibc/src/sched/sched_getscheduler.c
Revision Date Author Comments
# 1e21e78b 11-Nov-2012 Rich Felker <dalias@aerifal.cx>

add support for thread scheduling (POSIX TPS option)

linux's sched_* syscalls actually implement the TPS (thread
scheduling) functionality, not the PS (process scheduling)
functionality which the sched_* functions are supposed to have.
omitting support for the PS option (and having the sched_* interfaces
fail with ENOSYS rather than omitting them, since some broken software
assumes they exist) seems to be the only conforming way to do this on
linux.


# 61be1cfe 03-May-2012 Rich Felker <dalias@aerifal.cx>

implement stub versions of sched_*

these actually work, but for now they prohibit actually setting
priority levels and report min/max priority as 0.