Re: kernel configs in Debian
The headers wouldn't be unnecessary if you want to build modules for
it I think. The linux-config may do the same thing as a config.gz.
On 4/27/21, Ryutaroh Matsumoto <email@example.com> wrote:
> Hi Alan,
>> I think you can probably enable CONFIG_IKCONFIG, I'm running a
> I am pretty sure I can,
> as I am using my rebuilt Debian RT kernel with CONFIG_IKCONFIG=m.
> I guess that Arnd wants comparison between the original Debian kernel
> and a minimally changed kernel (I am not completely sure, of course).
> I wonder why the Debian kernel team keeps CONFIG_IKCONFIG
> and CONFIG_IKHEADERS disabled...
> which probably makes linux-headers-* and linux-config-* packages
> Best regards, Ryutaroh
Education is contagious.