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 <ryutaroh@ict.e.titech.ac.jp> 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
> unnecessary.
>
> Best regards, Ryutaroh
>
--
-------------
Education is contagious.
Reply to: