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 <ryuta...@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.
