Re: Rump makes the kernel problematically brittle

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

    Date:        Thu, 2 Apr 2020 14:54:13 -0400 (EDT)
    From:        Mouse <mouse%Rodents-Montreal.ORG@localhost>
    Message-ID:  <202004021854.OAA20369%Stone.Rodents-Montreal.ORG@localhost>

  | Yes, I got a very nice and helpful off-list mail (thank you!) saying,
  | approximately, that I needed to have the #include of opt_autoconf.h
  | inside the _KERNEL_OPT conditional.

As you guessed, that was the issue I suspected.

Since you're just using an #ifndef that should be all that's needed,
for this issue anyway.

  | Is this documented anywhere?

You're putting documented and rump into the same thought space?

kre