Re: kernel configs in Debian

[Ryutaroh Matsumoto <ryutaroh@ict.e.titech.ac.jp>]

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