On Fri, Jan 25, 2013 at 12:59 PM, Rich Freeman <ri...@gentoo.org> wrote: > I could see making that the default if there is no .config file > present and a new one is being created, and perhaps upstream would > support that since udev is popular. However, make oldconfig is > usually used when you have a .config file and you just want to update > it. In that case I don't think we should be changing settings - what > if a user doesn't want this set? They'd have to remember to manually > unset it every single time they compile a new kernel, as we'd be > "helpfully" changing it back.
Ah yeah, I mistakenly assumed that DEVTMPFS was a relatively new option. Cheers, Dirkjan