>> It's possible in some ports (such as the alpha) to get the name of
>> the loaded kernel.

> Huh?  It's possible on _every_ port -- just pass it in to the booted
> kernel.

Well, possible on every port that has its own bootblocks.  (Which
currently is all the ports, isn't it?)

However, that name may not be useful.  It may be on a filesystem the
kernel doesn't grok, it may be on a floppy that's not even in the drive
any longer...doesn't some port (Mac? Amiga?) load the kernel from a
native filesystem file instead of from a UFS/NFS/etc filesystem file?

					der Mouse

			       mouse@rodents.montreal.qc.ca
		     01 EE 31 F6 BB 0C 34 36  00 F3 7C 5A C1 A0 67 1D