Feature consistency in compile-time-configurable system software
Reinhard Tartler, Daniel Lohmann, Julio Sincero, Wolfgang Schröder‐Preikschat · 2011
Much system software can be configured at compile time to tailor it with respect to a broad range of supported hardware architectures and application domains. A good example is the Linux kernel, which provides more than 10,000 configurable features, growing rapidly.