Subject: Re: passing in the booted kernel name...?
To: Todd Vierling <>
From: Lucio de Re <>
List: tech-kern
Date: 01/11/1999 07:59:08
According to Todd Vierling:
> How does this help you if you TFTP in your kernel?  (Shark, for instance.
> Perhaps pmaxes too, who MOP in the kernel.)
Maybe one can use a URL, at least then it can be identified, if not 
actually used :-)

By the way, I have no clue what a SHARK is, can someone let me know if 
it is something worth knowing about, and why?

> In general, `machdep.booted_kernel' can not really be made MI, and relying
> on it in the system is Bogus.
Well, maybe we need an indication as to whether is is Bogus, or not.