sched_pp - small tool to interface with sched_set/getscheduler