[02:37] <greenleaf> does anyone know what config is used to build the so-called Mainline kernels? https://kernel.ubuntu.com/~kernel-ppa/mainline/v5.11.7/ 
[02:37] <greenleaf> "These kernels are made from unmodified kernel source but using the Ubuntu kernel configuration files."
[02:38] <greenleaf> I am on Debian. How do I find a copy of the "Ubuntu kernel configuration files"?
[02:41] <sarnold> hmm, looks like the website that served those doesn't have them any more
[02:43] <sarnold> greenleaf: here's a config from upcoming hirsute release, it's a 5.10 .. https://paste.ubuntu.com/p/dqPSSP6WF7/
[02:44] <sarnold> greenleaf: the 'usual' ubuntu debs also include the config in /boot/config-* files -- if you want one of those 5.11.7 kernels, the packages probably have the configs nearby
[02:48] <greenleaf> found it in /boot. thanks
[02:49] <sarnold> woot
[03:23] <greenleaf> @sarnold, so I found the config, and the module that I am looking to compile. It seems I'm supposed to add a new flag to the config file: CONFIG_SND_SOC_INTEL_SKL_HDA_DSP_GENERIC_MACH
[03:24] <greenleaf> is that the correct interpretation of https://cateee.net/lkddb/web-lkddb/SND_SOC_INTEL_SKL_HDA_DSP_GENERIC_MACH.html