# schedtool Schedtool can be used to query or alter a process' scheduling policy under linux