On Tue, May 9, 2023 at 9:03 PM Borislav Petkov <bp@xxxxxxxxx> wrote: > > On Tue, May 09, 2023 at 11:43:12AM -0700, Dave Hansen wrote: > > Like remove the option entirely? Or just remove the prompt so folks > > have to hack the .config for it? > > I wanna do entirely as we have waaay too many config options but we > probably could start with removing the prompt only and see who > complains... > Dave, Boris, thanks for your review and feedback. I have now sent you a new patch series to remove it from the prompt and remove it entirely as two patches, so you can choose which option to take now. In the end, all of this serves my overall goal of reducing the number of configs and removing CONFIG_EMBEDDED very well. Lukas
