Re: Building multiple kernels with "make release"

From: Juraj Lutter <>
Date: Wed, 28 Jul 2021 18:46:19 UTC

> On 28 Jul 2021, at 20:37, Glen Barber <> wrote:
> On Wed, Jul 28, 2021 at 12:05:25PM -0600, Alan Somers wrote:
>> On Wed, Jul 28, 2021 at 11:57 AM Glen Barber <> wrote:
>>> Just on a hunch, could you try with adding INSTALLKERNEL="${KERNEL}" to
>>> your release.conf?
>>> I now seem to recall some weirdness with this, but the exact details
>>> elude me at the moment.
>> Setting INSTALLKERNEL="GENERIC-NODEBUG"  during "make installkernel"
>> overrides whatever KERNCONF was set to.  But it still only installs one
>> kernel.  Trying to set that variable to a list doesn't work.
> Ok.  Give me a day or so to try to figure out what is (or isn't)
> happening here.  I do not recall any recent-ish changes that would have
> caused this, and I am 95% certain it has worked in the past.

According to Makefile.inc1:

make installkernel KERNCONF=“KERN1 KERN2”

should install KERN1 and KERN2. Similar goes for buildkernel.

Or is there something I am missing?

Juraj Lutter