Linux scheduler python bindings