On Fri, 2020-05-08 at 13:49 +0200, Arnd Bergmann wrote:> Personally, I'm more interested in improving compile speed of the kernelAny opinion on precompiled header support?