Re: Rump makes the kernel problematically brittle

[Robert Elz <kre%munnari.OZ.AU@localhost>]

    Date:        Thu, 2 Apr 2020 12:45:35 -0400 (EDT)
    From:        Mouse <mouse%Rodents-Montreal.ORG@localhost>
    Message-ID:  <202004021645.MAA22628%Stone.Rodents-Montreal.ORG@localhost>

  | But the error makes me reasonably sure it's related to the defflag I
  | added to files.kern.

Perhaps.   I'd actually like to see the diff for this (related) one ...


usr/src/sys/kern/subr_autoconf.c
	Include "opt_autoconf.h" and implement NO_DETACH_MESSAGES, to
	suppress device-detached console spammage on shutdown.

as that's clearly where the problem occurs.   Rump doesn't do kernel
options the wame way the kernel does, and care needs to be taken when
adding op_*.h includes as those files won't generally exist in the rump
universe.

kre