That was a cool reply, thanks RobertP!
Inevitably I have 2 further questions (but then I'll stop, all right?:-))
1. Are headers then generated from the kernel in use? That would make them consistent with that kernel's configuration. I can remember last time though, I simply downloaded them, so they couldn't have reflected the kernel's exact config.
2. In an otherwise very clear explanation, I was sure what you meant by
The source files refer to external symbols which may be used by the compiler to generate linkages to libraries and other external objects.
Do you mean the driver source file or the kernel sources? By external symbols, are you including the kernel calls (for lack of a better word)?