Hertz is an alternative scheduler