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
