4a21e2d
disable high_priority SCHED_RR by default in both sanlock and wdmd Setting the scheduler does not work with the default system setup.