On Sun, Jul 4, 2021 at 1:26 PM The Wanderer <wande...@fastmail.fm> wrote:
> On 2021-07-04 at 06:26, IL Ka wrote: > > >> thank you very much. Can I somehow load the current configuration > >> so menuconfig shows what choices were made for current kernel ? > > > > zcat /proc/config.gz > .config > > AFAIK, Debian hasn't shipped kernels with /proc/config.gz enabled for > quite a few years now - I think over a decade. > ooops, sorry. You are right. Then it should be in cat /boot/config-$(uname -r) https://wiki.debian.org/KernelFAQ https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=541489