In message <28828.832781218@UX2.SP.CS.CMU.EDU>, you write:
>As far as I know, 4.4-Lite didn't actually load symbols.  I doubt that
>BSD/OS loads them, as well.

	Neither look like they do.

>NetBSD actually does load the symbols into memory, and even keeps them
>there if you have DDB enabled.

	Ok, I didn't know this. Does this work with KGDB? (and, for that
matter, is it just me, or is KGDB not really in the i386 port?)

>In any case, I agree with you that the boot block shouldn't
>arbitrarily lose.  It should either work properly or determine that it
>cannot, and if it makes that determination should do _something_ sane...

	Exactly.

								-Craig