Using soft-rt scheduler on POSIX systems