> the only change was the kernel name, and you're absolutely sure
> (e.g. from the kernel boot messages) that the correct kernel was being
> booted in each case?

Wouldn't it be nice if we didn't have dependencies on the kernel name.
For example, what about a file in kernfs calles /kern/kernel that was
always magically identical to the actual running kernel?

I know, some people don't want to make kernfs compulsory.  So things that
want to grovel in the kernel could try /kern/kernel first, then try
/netbsd if that fails.

--apb (Alan Barrett)