Subject: Re: passing in the booted kernel name...?
To: None <>
From: Todd Vierling <>
List: tech-kern
Date: 01/09/1999 21:59:34
On Sat, 9 Jan 1999 wrote:

: What's wrong with some startup script like:
: mykernel = /`sysctl machdep.booted_kernel`
: if [a version check($mykernel) passes]; do
: 	kvm_mkdb $mykernel
: else
: 	[print warning or so]
: done

How does this help you if you TFTP in your kernel?  (Shark, for instance.
Perhaps pmaxes too, who MOP in the kernel.)

In general, `machdep.booted_kernel' can not really be made MI, and relying
on it in the system is Bogus.

-- Todd Vierling (Personal; Bus.