[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: