linux 驱动程序开发，为什么要编译内核源码树?

linux 驱动程序开发，为什么要编译内核源码树?

驱动最终以*.ko的形式生成，insmod的本质就是将ko文件与运行的内核进行链接的过程。类似于编译helloworld的链接过程。链接必然需要先进行编译，以便确定所需的外部符号（EXPORT_SYMBOLS）是否存在，因为有些符号（函数或全局变量）在内核中，在驱动中如果使用到这些符号，必须预留一个位置，insmod时进一步确定这些符号的具体位置（符号绑定）。
如果内核都没有编译过，怎么知道这些符号有没有编入内核中？
关于这方面的知识可参照IBM developerworks上面的《Linux 可加载内核模块剖析》及相关文章。