> It's possible in some ports (such as the alpha) to get the name of
> the loaded kernel. In others, such as the i386, it may be possible
> for the boot loader to pass this on to the kernel. Why not have a
> new sysctl variable, kern.filename or whatever, that contains the
> filename that the kernel was loaded from? Then we just need to execute
> the following in /etc/rc after /var is mounted:
> 
> 	rm -f /var/run/kernel
> 	if [ -n "`sysctl kern.hostname`" ]; then
> 	    ln -s `sysctl kern.hostname` /var/run/kernel
> 	fi

Note that there are situations where the device the kernel came from isn't
available to the kernel.  Like booting from floppy and switching disks after
loading the kernel.  Or booting the kernel from a device the kernel doesn't
have a driver for.
--
ws@TooLs.DE     (Wolfgang Solfrank, TooLs GmbH) 	+49-228-985800