config(8) KERNEL setting

[David O'Brien]

On Wed, Sep 03, 2003 at 09:22:09PM -0700, Doug White wrote:
> On Thu, 4 Sep 2003, John Birrell wrote:
> 
> > however kern.post.mk only uses KERNEL_KO, so even though config(8) has
> > set KERNEL for me, that name only gets used for the boot directory.
> > There doesn't seem to be any way of getting KERNEL_KO set from the
> > kernel config file.
> 
> If you change the name of the kernel binary itself, loader won't be able
> to find it.

Depends on what you rename it to -- mine is "kernel.ko" to stress it
really is just another module.  Our loader finds it fine (as .ko is one
of the supported extentions).