Do you mean .pch? I think it works quite well generally, but for the kernel it m...

		folmar on Jan 3, 2022 \| parent \| context \| favorite \| on: “Fast Kernel Headers” Tree -v1: Eliminate the Linu... Do you mean .pch? I think it works quite well generally, but for the kernel it might be too fragile as it is not so widely used.