On Wed, 2016-11-23 at 17:05 +0100, Michael Kerrisk (man-pages) wrote: > > I don't think we need group scheduling details, there's plenty of > > documentation elsewhere for those who want theory. > > Actually, which documentation were you referring to here?
Documentation/scheduler/*
