On Sat, 9 Jan 1999 drochner@zel459.zel.kfa-juelich.de 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 tv@pobox.com; Bus. todd_vierling@xn.xerox.com)