Subject: Re: passing in the booted kernel name...?
To: Todd Vierling <email@example.com>
From: Lucio de Re <firstname.lastname@example.org>
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.