[bug#53619] [PATCH 0/3] gnu: linux-libre: Build the snd-emu10k1 module.

[bug#53619] [PATCH 0/3] gnu: linux-libre: Build the snd-emu10k1 module.

[Maxim Cournoyer]

Hello Guix,

If like me, you discovered a forgotten Sounblaster Live! from 2000 at the
bottom of your desktop and wondered why there was no support for it in the
Guix kernel config, this series is for you! ;-).

The last patch is unrelated; I find it convenient to have the current Linux
kernel's config exposed as /proc/config.gz, which makes it easy to consult,
for example to grep for the CONFIG_SND_EMU10K1 option!

Thank you,

Maxim Cournoyer (3):
  linux-libre: Normalize the CONFIG_ZONE_DMA to 'y' in kernel configs.
  linux-libre: Build SND_EMU10K1 as a module for x86.
  gnu: linux-libre: Expose running kernel config as /proc/config.gz.

 .../aux-files/linux-libre/4.14-x86_64.conf    |  2 +-
 .../aux-files/linux-libre/4.19-x86_64.conf    |  2 +-
 .../aux-files/linux-libre/4.4-x86_64.conf     |  2 +-
 .../aux-files/linux-libre/4.9-x86_64.conf     |  2 +-
 .../aux-files/linux-libre/5.10-i686.conf      |  2 +-
 .../aux-files/linux-libre/5.10-x86_64.conf    |  2 +-
 .../aux-files/linux-libre/5.15-i686.conf      | 34 +++++++++++++------
 .../aux-files/linux-libre/5.15-x86_64.conf    | 32 ++++++++++-------
 .../aux-files/linux-libre/5.16-i686.conf      | 29 +++++++++++-----
 .../aux-files/linux-libre/5.16-x86_64.conf    | 27 ++++++++++-----
 .../aux-files/linux-libre/5.4-x86_64.conf     |  2 +-
 gnu/packages/linux.scm                        |  5 ++-
 12 files changed, 93 insertions(+), 48 deletions(-)

-- 
2.34.0

[bug#53619] [PATCH 1/3] gnu: linux-libre: Enable CONFIG_ZONE_DMA in all configs.

[Maxim Cournoyer]

ZONE_DMA is still used by some kernel drivers such as older sound and network
cards; it was already enabled on ARM and for some i686 kernels.  Enable it
everywhere for consistency.  The change was automated with:

  $ git grep -rl CONFIG_ZONE_DMA | \
      xargs sed 's/# CONFIG_ZONE_DMA is not set/CONFIG_ZONE_DMA=y/' -i

* gnu/packages/aux-files/linux-libre/4.14-x86_64.conf: Enable CONFIG_ZONE_DMA.
* gnu/packages/aux-files/linux-libre/4.19-x86_64.conf: Likewise.
* gnu/packages/aux-files/linux-libre/4.4-x86_64.conf: Likewise.
* gnu/packages/aux-files/linux-libre/4.9-x86_64.conf: Likewise.
* gnu/packages/aux-files/linux-libre/5.10-i686.conf: Likewise.
* gnu/packages/aux-files/linux-libre/5.10-x86_64.conf: Likewise.
* gnu/packages/aux-files/linux-libre/5.15-i686.conf: Likewise.
* gnu/packages/aux-files/linux-libre/5.15-x86_64.conf: Likewise.
* gnu/packages/aux-files/linux-libre/5.16-i686.conf: Likewise.
* gnu/packages/aux-files/linux-libre/5.16-x86_64.conf: Likewise.
* gnu/packages/aux-files/linux-libre/5.4-x86_64.conf: Likewise.
---
 gnu/packages/aux-files/linux-libre/4.14-x86_64.conf | 2 +-
 gnu/packages/aux-files/linux-libre/4.19-x86_64.conf | 2 +-
 gnu/packages/aux-files/linux-libre/4.4-x86_64.conf  | 2 +-
 gnu/packages/aux-files/linux-libre/4.9-x86_64.conf  | 2 +-
 gnu/packages/aux-files/linux-libre/5.10-i686.conf   | 2 +-
 gnu/packages/aux-files/linux-libre/5.10-x86_64.conf | 2 +-
 gnu/packages/aux-files/linux-libre/5.15-i686.conf   | 2 +-
 gnu/packages/aux-files/linux-libre/5.15-x86_64.conf | 2 +-
 gnu/packages/aux-files/linux-libre/5.16-i686.conf   | 2 +-
 gnu/packages/aux-files/linux-libre/5.16-x86_64.conf | 2 +-
 gnu/packages/aux-files/linux-libre/5.4-x86_64.conf  | 2 +-
 11 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/gnu/packages/aux-files/linux-libre/4.14-x86_64.conf b/gnu/packages/aux-files/linux-libre/4.14-x86_64.conf
index db11c2f6e8..09c81b4b00 100644
--- a/gnu/packages/aux-files/linux-libre/4.14-x86_64.conf
+++ b/gnu/packages/aux-files/linux-libre/4.14-x86_64.conf
@@ -454,7 +454,7 @@ CONFIG_FREEZER=y
 #
 # Processor type and features
 #
-# CONFIG_ZONE_DMA is not set
+CONFIG_ZONE_DMA=y
 CONFIG_SMP=y
 CONFIG_X86_FEATURE_NAMES=y
 CONFIG_X86_FAST_FEATURE_TESTS=y
diff --git a/gnu/packages/aux-files/linux-libre/4.19-x86_64.conf b/gnu/packages/aux-files/linux-libre/4.19-x86_64.conf
index b76fdc9148..45ab903288 100644
--- a/gnu/packages/aux-files/linux-libre/4.19-x86_64.conf
+++ b/gnu/packages/aux-files/linux-libre/4.19-x86_64.conf
@@ -273,7 +273,7 @@ CONFIG_CC_HAS_SANE_STACKPROTECTOR=y
 #
 # Processor type and features
 #
-# CONFIG_ZONE_DMA is not set
+CONFIG_ZONE_DMA=y
 CONFIG_SMP=y
 CONFIG_X86_FEATURE_NAMES=y
 CONFIG_X86_X2APIC=y
diff --git a/gnu/packages/aux-files/linux-libre/4.4-x86_64.conf b/gnu/packages/aux-files/linux-libre/4.4-x86_64.conf
index 0c7852ba48..9e3f4d5e70 100644
--- a/gnu/packages/aux-files/linux-libre/4.4-x86_64.conf
+++ b/gnu/packages/aux-files/linux-libre/4.4-x86_64.conf
@@ -384,7 +384,7 @@ CONFIG_FREEZER=y
 #
 # Processor type and features
 #
-# CONFIG_ZONE_DMA is not set
+CONFIG_ZONE_DMA=y
 CONFIG_SMP=y
 CONFIG_X86_FEATURE_NAMES=y
 CONFIG_X86_X2APIC=y
diff --git a/gnu/packages/aux-files/linux-libre/4.9-x86_64.conf b/gnu/packages/aux-files/linux-libre/4.9-x86_64.conf
index 6256b9f356..42edbb12a2 100644
--- a/gnu/packages/aux-files/linux-libre/4.9-x86_64.conf
+++ b/gnu/packages/aux-files/linux-libre/4.9-x86_64.conf
@@ -409,7 +409,7 @@ CONFIG_FREEZER=y
 #
 # Processor type and features
 #
-# CONFIG_ZONE_DMA is not set
+CONFIG_ZONE_DMA=y
 CONFIG_SMP=y
 CONFIG_X86_FEATURE_NAMES=y
 CONFIG_X86_FAST_FEATURE_TESTS=y
diff --git a/gnu/packages/aux-files/linux-libre/5.10-i686.conf b/gnu/packages/aux-files/linux-libre/5.10-i686.conf
index d24bbbcaa2..cc4f703467 100644
--- a/gnu/packages/aux-files/linux-libre/5.10-i686.conf
+++ b/gnu/packages/aux-files/linux-libre/5.10-i686.conf
@@ -292,7 +292,7 @@ CONFIG_CC_HAS_SANE_STACKPROTECTOR=y
 #
 # Processor type and features
 #
-# CONFIG_ZONE_DMA is not set
+CONFIG_ZONE_DMA=y
 CONFIG_SMP=y
 CONFIG_X86_FEATURE_NAMES=y
 CONFIG_X86_MPPARSE=y
diff --git a/gnu/packages/aux-files/linux-libre/5.10-x86_64.conf b/gnu/packages/aux-files/linux-libre/5.10-x86_64.conf
index 3a905e6286..85e5967fb1 100644
--- a/gnu/packages/aux-files/linux-libre/5.10-x86_64.conf
+++ b/gnu/packages/aux-files/linux-libre/5.10-x86_64.conf
@@ -308,7 +308,7 @@ CONFIG_CC_HAS_SANE_STACKPROTECTOR=y
 #
 # Processor type and features
 #
-# CONFIG_ZONE_DMA is not set
+CONFIG_ZONE_DMA=y
 CONFIG_SMP=y
 CONFIG_X86_FEATURE_NAMES=y
 CONFIG_X86_X2APIC=y
diff --git a/gnu/packages/aux-files/linux-libre/5.15-i686.conf b/gnu/packages/aux-files/linux-libre/5.15-i686.conf
index 85bd4d0ee1..c4f54ca5d3 100644
--- a/gnu/packages/aux-files/linux-libre/5.15-i686.conf
+++ b/gnu/packages/aux-files/linux-libre/5.15-i686.conf
@@ -992,7 +992,7 @@ CONFIG_PAGE_IDLE_FLAG=y
 CONFIG_IDLE_PAGE_TRACKING=y
 CONFIG_ARCH_HAS_CACHE_LINE_SIZE=y
 CONFIG_ARCH_HAS_ZONE_DMA_SET=y
-# CONFIG_ZONE_DMA is not set
+CONFIG_ZONE_DMA=y
 CONFIG_HMM_MIRROR=y
 CONFIG_VMAP_PFN=y
 # CONFIG_PERCPU_STATS is not set
diff --git a/gnu/packages/aux-files/linux-libre/5.15-x86_64.conf b/gnu/packages/aux-files/linux-libre/5.15-x86_64.conf
index ad42192937..54f6dc375a 100644
--- a/gnu/packages/aux-files/linux-libre/5.15-x86_64.conf
+++ b/gnu/packages/aux-files/linux-libre/5.15-x86_64.conf
@@ -1025,7 +1025,7 @@ CONFIG_IDLE_PAGE_TRACKING=y
 CONFIG_ARCH_HAS_CACHE_LINE_SIZE=y
 CONFIG_ARCH_HAS_PTE_DEVMAP=y
 CONFIG_ARCH_HAS_ZONE_DMA_SET=y
-# CONFIG_ZONE_DMA is not set
+CONFIG_ZONE_DMA=y
 CONFIG_ZONE_DMA32=y
 CONFIG_ZONE_DEVICE=y
 CONFIG_DEV_PAGEMAP_OPS=y
diff --git a/gnu/packages/aux-files/linux-libre/5.16-i686.conf b/gnu/packages/aux-files/linux-libre/5.16-i686.conf
index edaca0b891..a5773c54cf 100644
--- a/gnu/packages/aux-files/linux-libre/5.16-i686.conf
+++ b/gnu/packages/aux-files/linux-libre/5.16-i686.conf
@@ -1000,7 +1000,7 @@ CONFIG_PAGE_IDLE_FLAG=y
 CONFIG_IDLE_PAGE_TRACKING=y
 CONFIG_ARCH_HAS_CACHE_LINE_SIZE=y
 CONFIG_ARCH_HAS_ZONE_DMA_SET=y
-# CONFIG_ZONE_DMA is not set
+CONFIG_ZONE_DMA=y
 CONFIG_HMM_MIRROR=y
 CONFIG_VMAP_PFN=y
 # CONFIG_PERCPU_STATS is not set
diff --git a/gnu/packages/aux-files/linux-libre/5.16-x86_64.conf b/gnu/packages/aux-files/linux-libre/5.16-x86_64.conf
index e8271dcef3..048056b456 100644
--- a/gnu/packages/aux-files/linux-libre/5.16-x86_64.conf
+++ b/gnu/packages/aux-files/linux-libre/5.16-x86_64.conf
@@ -1032,7 +1032,7 @@ CONFIG_IDLE_PAGE_TRACKING=y
 CONFIG_ARCH_HAS_CACHE_LINE_SIZE=y
 CONFIG_ARCH_HAS_PTE_DEVMAP=y
 CONFIG_ARCH_HAS_ZONE_DMA_SET=y
-# CONFIG_ZONE_DMA is not set
+CONFIG_ZONE_DMA=y
 CONFIG_ZONE_DMA32=y
 CONFIG_ZONE_DEVICE=y
 CONFIG_DEV_PAGEMAP_OPS=y
diff --git a/gnu/packages/aux-files/linux-libre/5.4-x86_64.conf b/gnu/packages/aux-files/linux-libre/5.4-x86_64.conf
index ec8609171e..91b3033260 100644
--- a/gnu/packages/aux-files/linux-libre/5.4-x86_64.conf
+++ b/gnu/packages/aux-files/linux-libre/5.4-x86_64.conf
@@ -294,7 +294,7 @@ CONFIG_CC_HAS_SANE_STACKPROTECTOR=y
 #
 # Processor type and features
 #
-# CONFIG_ZONE_DMA is not set
+CONFIG_ZONE_DMA=y
 CONFIG_SMP=y
 CONFIG_X86_FEATURE_NAMES=y
 CONFIG_X86_X2APIC=y
-- 
2.34.0

[bug#53619] [PATCH 2/3] gnu: linux-libre: Build the snd-emu10k1 kernel module.

[Maxim Cournoyer]

This change was automated via:

   $ tar xf $(guix build -S linux-libre) -C /tmp
   $ cd /tmp/linux-5.16.2
   $ guix shell -D linux-libre ncurses
   $ cp src/guix/gnu/packages/aux-files/linux-libre/5.16-x86_64.conf .config
   $ make oldconfig
   $ cp .config src/guix/gnu/packages/aux-files/linux-libre/5.16-x86_64.conf

Then answering no to CONFIG_LOGO_LIBRE_CLUT224 and keeping all suggested
default except for CONFIG_SND_EMU10K1 and CONFIG_SND_EMU10K1_SEQ.

* gnu/packages/aux-files/linux-libre/5.16-x86_64.conf: Automatically generated
using the above commands.
* gnu/packages/aux-files/linux-libre/5.15-x86_64.conf: Likewise.
* gnu/packages/aux-files/linux-libre/5.16-i686.conf: Likewise (using 'guix
build -S linux-libre --system=i686-linux' for the environment instead.
* gnu/packages/aux-files/linux-libre/5.15-i686.conf: Likewise.
---
 .../aux-files/linux-libre/5.15-i686.conf      | 32 +++++++++++++------
 .../aux-files/linux-libre/5.15-x86_64.conf    | 30 ++++++++++-------
 .../aux-files/linux-libre/5.16-i686.conf      | 27 ++++++++++++----
 .../aux-files/linux-libre/5.16-x86_64.conf    | 25 ++++++++++-----
 4 files changed, 78 insertions(+), 36 deletions(-)

diff --git a/gnu/packages/aux-files/linux-libre/5.15-i686.conf b/gnu/packages/aux-files/linux-libre/5.15-i686.conf
index c4f54ca5d3..404dab44b9 100644
--- a/gnu/packages/aux-files/linux-libre/5.15-i686.conf
+++ b/gnu/packages/aux-files/linux-libre/5.15-i686.conf
@@ -1,18 +1,19 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/i386 5.15.5 Kernel Configuration
+# Linux/x86 5.15.17-gnu Kernel Configuration
 #
-CONFIG_CC_VERSION_TEXT="gcc (GCC) 11.2.0"
+CONFIG_CC_VERSION_TEXT="gcc (GCC) 10.3.0"
 CONFIG_CC_IS_GCC=y
-CONFIG_GCC_VERSION=110200
+CONFIG_GCC_VERSION=100300
 CONFIG_CLANG_VERSION=0
 CONFIG_AS_IS_GNU=y
-CONFIG_AS_VERSION=23400
+CONFIG_AS_VERSION=23700
 CONFIG_LD_IS_BFD=y
-CONFIG_LD_VERSION=23400
+CONFIG_LD_VERSION=23700
 CONFIG_LLD_VERSION=0
+CONFIG_CC_CAN_LINK=y
+CONFIG_CC_CAN_LINK_STATIC=y
 CONFIG_CC_HAS_ASM_GOTO=y
-CONFIG_CC_HAS_ASM_GOTO_OUTPUT=y
 CONFIG_CC_HAS_ASM_INLINE=y
 CONFIG_CC_HAS_NO_PROFILE_FN_ATTR=y
 CONFIG_IRQ_WORK=y
@@ -274,6 +275,7 @@ CONFIG_PROFILING=y
 CONFIG_TRACEPOINTS=y
 # end of General setup
 
+# CONFIG_64BIT is not set
 CONFIG_X86_32=y
 CONFIG_FORCE_DYNAMIC_FTRACE=y
 CONFIG_X86=y
@@ -6807,6 +6809,7 @@ CONFIG_LOGO=y
 # CONFIG_LOGO_LINUX_MONO is not set
 # CONFIG_LOGO_LINUX_VGA16 is not set
 # CONFIG_LOGO_LINUX_CLUT224 is not set
+# CONFIG_LOGO_LIBRE_CLUT224 is not set
 # end of Graphics support
 
 CONFIG_SOUND=m
@@ -6908,7 +6911,9 @@ CONFIG_SND_MSND_PINNACLE=m
 CONFIG_SND_MSND_CLASSIC=m
 CONFIG_SND_PCI=y
 CONFIG_SND_AD1889=m
+# CONFIG_SND_ALS300 is not set
 CONFIG_SND_ALS4000=m
+# CONFIG_SND_ALI5451 is not set
 CONFIG_SND_ASIHPI=m
 CONFIG_SND_ATIIXP=m
 CONFIG_SND_ATIIXP_MODEM=m
@@ -6916,6 +6921,7 @@ CONFIG_SND_AU8810=m
 CONFIG_SND_AU8820=m
 CONFIG_SND_AU8830=m
 CONFIG_SND_AW2=m
+# CONFIG_SND_AZT3328 is not set
 CONFIG_SND_BT87X=m
 # CONFIG_SND_BT87X_OVERCLOCK is not set
 CONFIG_SND_CA0106=m
@@ -6942,18 +6948,25 @@ CONFIG_SND_INDIGOIO=m
 CONFIG_SND_INDIGODJ=m
 CONFIG_SND_INDIGOIOX=m
 CONFIG_SND_INDIGODJX=m
+CONFIG_SND_EMU10K1=m
+CONFIG_SND_EMU10K1_SEQ=m
+# CONFIG_SND_EMU10K1X is not set
 CONFIG_SND_ENS1370=m
 CONFIG_SND_ENS1371=m
+# CONFIG_SND_ES1938 is not set
+# CONFIG_SND_ES1968 is not set
 CONFIG_SND_FM801=m
 CONFIG_SND_FM801_TEA575X_BOOL=y
 CONFIG_SND_HDSP=m
 CONFIG_SND_HDSPM=m
+# CONFIG_SND_ICE1712 is not set
 CONFIG_SND_ICE1724=m
 CONFIG_SND_INTEL8X0=m
 CONFIG_SND_INTEL8X0M=m
 CONFIG_SND_KORG1212=m
 CONFIG_SND_LOLA=m
 CONFIG_SND_LX6464ES=m
+# CONFIG_SND_MAESTRO3 is not set
 CONFIG_SND_MIXART=m
 CONFIG_SND_NM256=m
 CONFIG_SND_PCXHR=m
@@ -6961,6 +6974,9 @@ CONFIG_SND_RIPTIDE=m
 CONFIG_SND_RME32=m
 CONFIG_SND_RME96=m
 CONFIG_SND_RME9652=m
+# CONFIG_SND_SIS7019 is not set
+# CONFIG_SND_SONICVIBES is not set
+# CONFIG_SND_TRIDENT is not set
 CONFIG_SND_VIA82XX=m
 CONFIG_SND_VIA82XX_MODEM=m
 CONFIG_SND_VIRTUOSO=m
@@ -8794,7 +8810,6 @@ CONFIG_THINKPAD_ACPI_DEBUGFACILITIES=y
 CONFIG_THINKPAD_ACPI_VIDEO=y
 CONFIG_THINKPAD_ACPI_HOTKEY_POLL=y
 CONFIG_THINKPAD_LMI=m
-CONFIG_X86_PLATFORM_DRIVERS_INTEL=y
 CONFIG_INTEL_ATOMISP2_PDX86=y
 CONFIG_INTEL_ATOMISP2_LED=m
 CONFIG_INTEL_SAR_INT1092=m
@@ -10283,8 +10298,6 @@ CONFIG_STACKLEAK_TRACK_MIN_SIZE=100
 CONFIG_STACKLEAK_RUNTIME_DISABLE=y
 CONFIG_INIT_ON_ALLOC_DEFAULT_ON=y
 # CONFIG_INIT_ON_FREE_DEFAULT_ON is not set
-CONFIG_CC_HAS_ZERO_CALL_USED_REGS=y
-# CONFIG_ZERO_CALL_USED_REGS is not set
 # end of Memory initialization
 # end of Kernel hardening options
 # end of Security options
@@ -10731,7 +10744,6 @@ CONFIG_KDB_CONTINUE_CATASTROPHIC=0
 CONFIG_ARCH_HAS_EARLY_DEBUG=y
 CONFIG_ARCH_HAS_UBSAN_SANITIZE_ALL=y
 # CONFIG_UBSAN is not set
-CONFIG_HAVE_KCSAN_COMPILER=y
 # end of Generic Kernel Debugging Instruments
 
 CONFIG_DEBUG_KERNEL=y
diff --git a/gnu/packages/aux-files/linux-libre/5.15-x86_64.conf b/gnu/packages/aux-files/linux-libre/5.15-x86_64.conf
index 54f6dc375a..0653aa4d1a 100644
--- a/gnu/packages/aux-files/linux-libre/5.15-x86_64.conf
+++ b/gnu/packages/aux-files/linux-libre/5.15-x86_64.conf
@@ -1,20 +1,19 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86 5.15.5 Kernel Configuration
+# Linux/x86 5.15.17-gnu Kernel Configuration
 #
-CONFIG_CC_VERSION_TEXT="gcc (GCC) 11.2.0"
+CONFIG_CC_VERSION_TEXT="gcc (GCC) 10.3.0"
 CONFIG_CC_IS_GCC=y
-CONFIG_GCC_VERSION=110200
+CONFIG_GCC_VERSION=100300
 CONFIG_CLANG_VERSION=0
 CONFIG_AS_IS_GNU=y
-CONFIG_AS_VERSION=23400
+CONFIG_AS_VERSION=23700
 CONFIG_LD_IS_BFD=y
-CONFIG_LD_VERSION=23400
+CONFIG_LD_VERSION=23700
 CONFIG_LLD_VERSION=0
 CONFIG_CC_CAN_LINK=y
 CONFIG_CC_CAN_LINK_STATIC=y
 CONFIG_CC_HAS_ASM_GOTO=y
-CONFIG_CC_HAS_ASM_GOTO_OUTPUT=y
 CONFIG_CC_HAS_ASM_INLINE=y
 CONFIG_CC_HAS_NO_PROFILE_FN_ATTR=y
 CONFIG_IRQ_WORK=y
@@ -6763,6 +6762,7 @@ CONFIG_LOGO=y
 # CONFIG_LOGO_LINUX_MONO is not set
 # CONFIG_LOGO_LINUX_VGA16 is not set
 # CONFIG_LOGO_LINUX_CLUT224 is not set
+# CONFIG_LOGO_LIBRE_CLUT224 is not set
 # end of Graphics support
 
 CONFIG_SOUND=m
@@ -6824,7 +6824,9 @@ CONFIG_SND_AC97_POWER_SAVE_DEFAULT=0
 CONFIG_SND_SB_COMMON=m
 CONFIG_SND_PCI=y
 CONFIG_SND_AD1889=m
+# CONFIG_SND_ALS300 is not set
 CONFIG_SND_ALS4000=m
+# CONFIG_SND_ALI5451 is not set
 CONFIG_SND_ASIHPI=m
 CONFIG_SND_ATIIXP=m
 CONFIG_SND_ATIIXP_MODEM=m
@@ -6832,6 +6834,7 @@ CONFIG_SND_AU8810=m
 CONFIG_SND_AU8820=m
 CONFIG_SND_AU8830=m
 CONFIG_SND_AW2=m
+# CONFIG_SND_AZT3328 is not set
 CONFIG_SND_BT87X=m
 # CONFIG_SND_BT87X_OVERCLOCK is not set
 CONFIG_SND_CA0106=m
@@ -6856,18 +6859,25 @@ CONFIG_SND_INDIGOIO=m
 CONFIG_SND_INDIGODJ=m
 CONFIG_SND_INDIGOIOX=m
 CONFIG_SND_INDIGODJX=m
+CONFIG_SND_EMU10K1=m
+CONFIG_SND_EMU10K1_SEQ=m
+# CONFIG_SND_EMU10K1X is not set
 CONFIG_SND_ENS1370=m
 CONFIG_SND_ENS1371=m
+# CONFIG_SND_ES1938 is not set
+# CONFIG_SND_ES1968 is not set
 CONFIG_SND_FM801=m
 CONFIG_SND_FM801_TEA575X_BOOL=y
 CONFIG_SND_HDSP=m
 CONFIG_SND_HDSPM=m
+# CONFIG_SND_ICE1712 is not set
 CONFIG_SND_ICE1724=m
 CONFIG_SND_INTEL8X0=m
 CONFIG_SND_INTEL8X0M=m
 CONFIG_SND_KORG1212=m
 CONFIG_SND_LOLA=m
 CONFIG_SND_LX6464ES=m
+# CONFIG_SND_MAESTRO3 is not set
 CONFIG_SND_MIXART=m
 CONFIG_SND_NM256=m
 CONFIG_SND_PCXHR=m
@@ -6875,6 +6885,8 @@ CONFIG_SND_RIPTIDE=m
 CONFIG_SND_RME32=m
 CONFIG_SND_RME96=m
 CONFIG_SND_RME9652=m
+# CONFIG_SND_SONICVIBES is not set
+# CONFIG_SND_TRIDENT is not set
 CONFIG_SND_VIA82XX=m
 CONFIG_SND_VIA82XX_MODEM=m
 CONFIG_SND_VIRTUOSO=m
@@ -7340,6 +7352,7 @@ CONFIG_SND_SIMPLE_CARD_UTILS=m
 CONFIG_SND_SIMPLE_CARD=m
 CONFIG_SND_X86=y
 CONFIG_HDMI_LPE_AUDIO=m
+CONFIG_SND_SYNTH_EMUX=m
 CONFIG_SND_XEN_FRONTEND=m
 CONFIG_SND_VIRTIO=m
 CONFIG_AC97_BUS=m
@@ -8776,7 +8789,6 @@ CONFIG_THINKPAD_ACPI_DEBUGFACILITIES=y
 CONFIG_THINKPAD_ACPI_VIDEO=y
 CONFIG_THINKPAD_ACPI_HOTKEY_POLL=y
 CONFIG_THINKPAD_LMI=m
-CONFIG_X86_PLATFORM_DRIVERS_INTEL=y
 CONFIG_INTEL_ATOMISP2_PDX86=y
 CONFIG_INTEL_ATOMISP2_LED=m
 CONFIG_INTEL_SAR_INT1092=m
@@ -10322,8 +10334,6 @@ CONFIG_STACKLEAK_TRACK_MIN_SIZE=100
 CONFIG_STACKLEAK_RUNTIME_DISABLE=y
 CONFIG_INIT_ON_ALLOC_DEFAULT_ON=y
 # CONFIG_INIT_ON_FREE_DEFAULT_ON is not set
-CONFIG_CC_HAS_ZERO_CALL_USED_REGS=y
-# CONFIG_ZERO_CALL_USED_REGS is not set
 # end of Memory initialization
 # end of Kernel hardening options
 # end of Security options
@@ -10806,8 +10816,6 @@ CONFIG_ARCH_HAS_EARLY_DEBUG=y
 CONFIG_ARCH_HAS_UBSAN_SANITIZE_ALL=y
 # CONFIG_UBSAN is not set
 CONFIG_HAVE_ARCH_KCSAN=y
-CONFIG_HAVE_KCSAN_COMPILER=y
-# CONFIG_KCSAN is not set
 # end of Generic Kernel Debugging Instruments
 
 CONFIG_DEBUG_KERNEL=y
diff --git a/gnu/packages/aux-files/linux-libre/5.16-i686.conf b/gnu/packages/aux-files/linux-libre/5.16-i686.conf
index a5773c54cf..cfbc495a30 100644
--- a/gnu/packages/aux-files/linux-libre/5.16-i686.conf
+++ b/gnu/packages/aux-files/linux-libre/5.16-i686.conf
@@ -1,18 +1,19 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/i386 5.16.0 Kernel Configuration
+# Linux/x86 5.16.2-gnu Kernel Configuration
 #
-CONFIG_CC_VERSION_TEXT="gcc (GCC) 11.2.0"
+CONFIG_CC_VERSION_TEXT="gcc (GCC) 10.3.0"
 CONFIG_CC_IS_GCC=y
-CONFIG_GCC_VERSION=110200
+CONFIG_GCC_VERSION=100300
 CONFIG_CLANG_VERSION=0
 CONFIG_AS_IS_GNU=y
 CONFIG_AS_VERSION=23700
 CONFIG_LD_IS_BFD=y
 CONFIG_LD_VERSION=23700
 CONFIG_LLD_VERSION=0
+CONFIG_CC_CAN_LINK=y
+CONFIG_CC_CAN_LINK_STATIC=y
 CONFIG_CC_HAS_ASM_GOTO=y
-CONFIG_CC_HAS_ASM_GOTO_OUTPUT=y
 CONFIG_CC_HAS_ASM_INLINE=y
 CONFIG_CC_HAS_NO_PROFILE_FN_ATTR=y
 CONFIG_IRQ_WORK=y
@@ -281,6 +282,7 @@ CONFIG_PROFILING=y
 CONFIG_TRACEPOINTS=y
 # end of General setup
 
+# CONFIG_64BIT is not set
 CONFIG_X86_32=y
 CONFIG_FORCE_DYNAMIC_FTRACE=y
 CONFIG_X86=y
@@ -6847,6 +6849,7 @@ CONFIG_LOGO=y
 # CONFIG_LOGO_LINUX_MONO is not set
 # CONFIG_LOGO_LINUX_VGA16 is not set
 # CONFIG_LOGO_LINUX_CLUT224 is not set
+# CONFIG_LOGO_LIBRE_CLUT224 is not set
 # end of Graphics support
 
 CONFIG_SOUND=m
@@ -6948,7 +6951,9 @@ CONFIG_SND_MSND_PINNACLE=m
 CONFIG_SND_MSND_CLASSIC=m
 CONFIG_SND_PCI=y
 CONFIG_SND_AD1889=m
+# CONFIG_SND_ALS300 is not set
 CONFIG_SND_ALS4000=m
+# CONFIG_SND_ALI5451 is not set
 CONFIG_SND_ASIHPI=m
 CONFIG_SND_ATIIXP=m
 CONFIG_SND_ATIIXP_MODEM=m
@@ -6956,6 +6961,7 @@ CONFIG_SND_AU8810=m
 CONFIG_SND_AU8820=m
 CONFIG_SND_AU8830=m
 CONFIG_SND_AW2=m
+# CONFIG_SND_AZT3328 is not set
 CONFIG_SND_BT87X=m
 # CONFIG_SND_BT87X_OVERCLOCK is not set
 CONFIG_SND_CA0106=m
@@ -6982,18 +6988,25 @@ CONFIG_SND_INDIGOIO=m
 CONFIG_SND_INDIGODJ=m
 CONFIG_SND_INDIGOIOX=m
 CONFIG_SND_INDIGODJX=m
+CONFIG_SND_EMU10K1=m
+CONFIG_SND_EMU10K1_SEQ=m
+# CONFIG_SND_EMU10K1X is not set
 CONFIG_SND_ENS1370=m
 CONFIG_SND_ENS1371=m
+# CONFIG_SND_ES1938 is not set
+# CONFIG_SND_ES1968 is not set
 CONFIG_SND_FM801=m
 CONFIG_SND_FM801_TEA575X_BOOL=y
 CONFIG_SND_HDSP=m
 CONFIG_SND_HDSPM=m
+# CONFIG_SND_ICE1712 is not set
 CONFIG_SND_ICE1724=m
 CONFIG_SND_INTEL8X0=m
 CONFIG_SND_INTEL8X0M=m
 CONFIG_SND_KORG1212=m
 CONFIG_SND_LOLA=m
 CONFIG_SND_LX6464ES=m
+# CONFIG_SND_MAESTRO3 is not set
 CONFIG_SND_MIXART=m
 CONFIG_SND_NM256=m
 CONFIG_SND_PCXHR=m
@@ -7001,6 +7014,9 @@ CONFIG_SND_RIPTIDE=m
 CONFIG_SND_RME32=m
 CONFIG_SND_RME96=m
 CONFIG_SND_RME9652=m
+# CONFIG_SND_SIS7019 is not set
+# CONFIG_SND_SONICVIBES is not set
+# CONFIG_SND_TRIDENT is not set
 CONFIG_SND_VIA82XX=m
 CONFIG_SND_VIA82XX_MODEM=m
 CONFIG_SND_VIRTUOSO=m
@@ -10355,8 +10371,6 @@ CONFIG_STACKLEAK_TRACK_MIN_SIZE=100
 CONFIG_STACKLEAK_RUNTIME_DISABLE=y
 CONFIG_INIT_ON_ALLOC_DEFAULT_ON=y
 # CONFIG_INIT_ON_FREE_DEFAULT_ON is not set
-CONFIG_CC_HAS_ZERO_CALL_USED_REGS=y
-CONFIG_ZERO_CALL_USED_REGS=y
 # end of Memory initialization
 # end of Kernel hardening options
 # end of Security options
@@ -10804,7 +10818,6 @@ CONFIG_KDB_CONTINUE_CATASTROPHIC=0
 CONFIG_ARCH_HAS_EARLY_DEBUG=y
 CONFIG_ARCH_HAS_UBSAN_SANITIZE_ALL=y
 # CONFIG_UBSAN is not set
-CONFIG_HAVE_KCSAN_COMPILER=y
 # end of Generic Kernel Debugging Instruments
 
 CONFIG_DEBUG_KERNEL=y
diff --git a/gnu/packages/aux-files/linux-libre/5.16-x86_64.conf b/gnu/packages/aux-files/linux-libre/5.16-x86_64.conf
index 048056b456..a5d12acc81 100644
--- a/gnu/packages/aux-files/linux-libre/5.16-x86_64.conf
+++ b/gnu/packages/aux-files/linux-libre/5.16-x86_64.conf
@@ -1,10 +1,10 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86 5.16.0 Kernel Configuration
+# Linux/x86 5.16.2-gnu Kernel Configuration
 #
-CONFIG_CC_VERSION_TEXT="gcc (GCC) 11.2.0"
+CONFIG_CC_VERSION_TEXT="gcc (GCC) 10.3.0"
 CONFIG_CC_IS_GCC=y
-CONFIG_GCC_VERSION=110200
+CONFIG_GCC_VERSION=100300
 CONFIG_CLANG_VERSION=0
 CONFIG_AS_IS_GNU=y
 CONFIG_AS_VERSION=23700
@@ -14,7 +14,6 @@ CONFIG_LLD_VERSION=0
 CONFIG_CC_CAN_LINK=y
 CONFIG_CC_CAN_LINK_STATIC=y
 CONFIG_CC_HAS_ASM_GOTO=y
-CONFIG_CC_HAS_ASM_GOTO_OUTPUT=y
 CONFIG_CC_HAS_ASM_INLINE=y
 CONFIG_CC_HAS_NO_PROFILE_FN_ATTR=y
 CONFIG_IRQ_WORK=y
@@ -6799,6 +6798,7 @@ CONFIG_LOGO=y
 # CONFIG_LOGO_LINUX_MONO is not set
 # CONFIG_LOGO_LINUX_VGA16 is not set
 # CONFIG_LOGO_LINUX_CLUT224 is not set
+# CONFIG_LOGO_LIBRE_CLUT224 is not set
 # end of Graphics support
 
 CONFIG_SOUND=m
@@ -6860,7 +6860,9 @@ CONFIG_SND_AC97_POWER_SAVE_DEFAULT=0
 CONFIG_SND_SB_COMMON=m
 CONFIG_SND_PCI=y
 CONFIG_SND_AD1889=m
+# CONFIG_SND_ALS300 is not set
 CONFIG_SND_ALS4000=m
+# CONFIG_SND_ALI5451 is not set
 CONFIG_SND_ASIHPI=m
 CONFIG_SND_ATIIXP=m
 CONFIG_SND_ATIIXP_MODEM=m
@@ -6868,6 +6870,7 @@ CONFIG_SND_AU8810=m
 CONFIG_SND_AU8820=m
 CONFIG_SND_AU8830=m
 CONFIG_SND_AW2=m
+# CONFIG_SND_AZT3328 is not set
 CONFIG_SND_BT87X=m
 # CONFIG_SND_BT87X_OVERCLOCK is not set
 CONFIG_SND_CA0106=m
@@ -6892,18 +6895,25 @@ CONFIG_SND_INDIGOIO=m
 CONFIG_SND_INDIGODJ=m
 CONFIG_SND_INDIGOIOX=m
 CONFIG_SND_INDIGODJX=m
+CONFIG_SND_EMU10K1=m
+CONFIG_SND_EMU10K1_SEQ=m
+# CONFIG_SND_EMU10K1X is not set
 CONFIG_SND_ENS1370=m
 CONFIG_SND_ENS1371=m
+# CONFIG_SND_ES1938 is not set
+# CONFIG_SND_ES1968 is not set
 CONFIG_SND_FM801=m
 CONFIG_SND_FM801_TEA575X_BOOL=y
 CONFIG_SND_HDSP=m
 CONFIG_SND_HDSPM=m
+# CONFIG_SND_ICE1712 is not set
 CONFIG_SND_ICE1724=m
 CONFIG_SND_INTEL8X0=m
 CONFIG_SND_INTEL8X0M=m
 CONFIG_SND_KORG1212=m
 CONFIG_SND_LOLA=m
 CONFIG_SND_LX6464ES=m
+# CONFIG_SND_MAESTRO3 is not set
 CONFIG_SND_MIXART=m
 CONFIG_SND_NM256=m
 CONFIG_SND_PCXHR=m
@@ -6911,6 +6921,8 @@ CONFIG_SND_RIPTIDE=m
 CONFIG_SND_RME32=m
 CONFIG_SND_RME96=m
 CONFIG_SND_RME9652=m
+# CONFIG_SND_SONICVIBES is not set
+# CONFIG_SND_TRIDENT is not set
 CONFIG_SND_VIA82XX=m
 CONFIG_SND_VIA82XX_MODEM=m
 CONFIG_SND_VIRTUOSO=m
@@ -7394,6 +7406,7 @@ CONFIG_SND_SIMPLE_CARD_UTILS=m
 CONFIG_SND_SIMPLE_CARD=m
 CONFIG_SND_X86=y
 CONFIG_HDMI_LPE_AUDIO=m
+CONFIG_SND_SYNTH_EMUX=m
 CONFIG_SND_XEN_FRONTEND=m
 CONFIG_SND_VIRTIO=m
 CONFIG_AC97_BUS=m
@@ -10391,8 +10404,6 @@ CONFIG_STACKLEAK_TRACK_MIN_SIZE=100
 CONFIG_STACKLEAK_RUNTIME_DISABLE=y
 CONFIG_INIT_ON_ALLOC_DEFAULT_ON=y
 # CONFIG_INIT_ON_FREE_DEFAULT_ON is not set
-CONFIG_CC_HAS_ZERO_CALL_USED_REGS=y
-CONFIG_ZERO_CALL_USED_REGS=y
 # end of Memory initialization
 # end of Kernel hardening options
 # end of Security options
@@ -10876,8 +10887,6 @@ CONFIG_ARCH_HAS_EARLY_DEBUG=y
 CONFIG_ARCH_HAS_UBSAN_SANITIZE_ALL=y
 # CONFIG_UBSAN is not set
 CONFIG_HAVE_ARCH_KCSAN=y
-CONFIG_HAVE_KCSAN_COMPILER=y
-# CONFIG_KCSAN is not set
 # end of Generic Kernel Debugging Instruments
 
 CONFIG_DEBUG_KERNEL=y
-- 
2.34.0

[bug#53619] [PATCH 3/3] gnu: linux-libre: Expose running kernel config as /proc/config.gz.

[Maxim Cournoyer]

* gnu/packages/linux.scm (%default-extra-linux-options)
[CONFIG_IKCONFIG, CONFIG_IKCONFIG_PROC]: Enable kernel options.
---
 gnu/packages/linux.scm | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index fc67eae365..5bdaba5b9e 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -687,7 +687,10 @@ (define* (kernel-config arch #:key variant)
     (search-auxiliary-file file)))
 
 (define %default-extra-linux-options
-  `(;; Some very mild hardening.
+  `(;; Make the kernel config available at /proc/config.gz
+    ("CONFIG_IKCONFIG" . #t)
+    ("CONFIG_IKCONFIG_PROC" . #t)
+    ;; Some very mild hardening.
     ("CONFIG_SECURITY_DMESG_RESTRICT" . #t)
     ;; All kernels should have NAMESPACES options enabled
     ("CONFIG_NAMESPACES" . #t)
-- 
2.34.0

[bug#53619] [PATCH 0/3] gnu: linux-libre: Build the snd-emu10k1 module.

[Leo Famulari]

On Fri, Jan 28, 2022 at 09:30:34PM -0500, Maxim Cournoyer wrote:
> Hello Guix,
> 
> If like me, you discovered a forgotten Sounblaster Live! from 2000 at the
> bottom of your desktop and wondered why there was no support for it in the
> Guix kernel config, this series is for you! ;-).
> 
> The last patch is unrelated; I find it convenient to have the current Linux
> kernel's config exposed as /proc/config.gz, which makes it easy to consult,
> for example to grep for the CONFIG_SND_EMU10K1 option!
> 
> Thank you,
> 
> Maxim Cournoyer (3):
>   linux-libre: Normalize the CONFIG_ZONE_DMA to 'y' in kernel configs.
>   linux-libre: Build SND_EMU10K1 as a module for x86.
>   gnu: linux-libre: Expose running kernel config as /proc/config.gz.

The first and third patches LGTM.

It seems that the 2nd patch brings a lot of unrelated changes. Can you
revise it to only add support for your old sound card?

[bug#53619] [PATCH 0/3] gnu: linux-libre: Build the snd-emu10k1 module.

[Maxim Cournoyer]

Hi Leo,

Leo Famulari <leo@famulari.name> writes:

> On Fri, Jan 28, 2022 at 09:30:34PM -0500, Maxim Cournoyer wrote:
>> Hello Guix,
>> 
>> If like me, you discovered a forgotten Sounblaster Live! from 2000 at the
>> bottom of your desktop and wondered why there was no support for it in the
>> Guix kernel config, this series is for you! ;-).
>> 
>> The last patch is unrelated; I find it convenient to have the current Linux
>> kernel's config exposed as /proc/config.gz, which makes it easy to consult,
>> for example to grep for the CONFIG_SND_EMU10K1 option!
>> 
>> Thank you,
>> 
>> Maxim Cournoyer (3):
>>   linux-libre: Normalize the CONFIG_ZONE_DMA to 'y' in kernel configs.
>>   linux-libre: Build SND_EMU10K1 as a module for x86.
>>   gnu: linux-libre: Expose running kernel config as /proc/config.gz.
>
> The first and third patches LGTM.

Thanks for having a look!

> It seems that the 2nd patch brings a lot of unrelated changes. Can you
> revise it to only add support for your old sound card?

The unrelated changes appear just by running 'make oldconfig' on the
master branch:

--8<---------------cut here---------------start------------->8---
$ guix build linux-libre@5.15 -S
/gnu/store/429863zh1abhyj21kpnxkalsv5q5bhi4-linux-libre-5.15.16-guix.tar.xz
maxim@hurd ~$ tar xf /gnu/store/429863zh1abhyj21kpnxkalsv5q5bhi4-linux-libre-5.15.16-guix.tar.xz -C /tmp
maxim@hurd ~$ cd /tmp/linux-5.15.16/
maxim@hurd /tmp/linux-5.15.16$ cp ~/src/guix/gnu/packages/aux-files/linux-libre/5.15-x86_64.conf .config
maxim@hurd /tmp/linux-5.15.16$ guix shell -D linux-libre ncurses
maxim@hurd /tmp/linux-5.15.16 [env]$ make oldconfig
  HOSTCC  scripts/basic/fixdep
  HOSTCC  scripts/kconfig/conf.o
  HOSTCC  scripts/kconfig/confdata.o
  HOSTCC  scripts/kconfig/expr.o
  LEX     scripts/kconfig/lexer.lex.c
  YACC    scripts/kconfig/parser.tab.[ch]
  HOSTCC  scripts/kconfig/lexer.lex.o
  HOSTCC  scripts/kconfig/menu.o
  HOSTCC  scripts/kconfig/parser.tab.o
  HOSTCC  scripts/kconfig/preprocess.o
  HOSTCC  scripts/kconfig/symbol.o
  HOSTCC  scripts/kconfig/util.o
  HOSTLD  scripts/kconfig/conf
*
* Restart config...
*
*
* Bootup logo
*
Bootup logo (LOGO) [Y/n/?] y
  Standard black and white Linux logo (LOGO_LINUX_MONO) [N/y/?] n
  Standard 16-color Linux logo (LOGO_LINUX_VGA16) [N/y/?] n
  Standard 224-color Linux logo (LOGO_LINUX_CLUT224) [N/y/?] n
  224-color Linux-libre logo (LOGO_LIBRE_CLUT224) [Y/n/?] (NEW) n
#
# configuration written to .config
#
maxim@hurd /tmp/linux-5.15.16 [env]$ make oldconfig^C
(reverse-i-search)`diff': cp e796b33.^Cff ~/src/guix-master/gnu/packages/patches/jami-memory-usage.patch
(reverse-i-search)`diff': __emacs_complete_pre_command;  echo -n "^[^[pwd=${PWD}^[^[";__EMACS_COMPLETE_WRAPPER='COMP_LINE='\''cp f5e4619.diff'\''; COMP_POINT=$(( 1 + ${#COMP_LINE} )); COMP_CWORD=1; COMP_WORDS=( cp f5e4619.diff ); _longopt cp f5e4619.^Cff cp' compgen -F __emacs_complete_wrapper -- f5e4619.diff 2>/dev/null
maxim@hurd /tmp/linux-5.15.16 [env]$ diff -u .config{.old,}
--- .config.old 2022-01-29 22:21:49.011196075 -0500
+++ .config     2022-01-29 22:22:16.774374081 -0500
@@ -1,20 +1,19 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86 5.15.5 Kernel Configuration
+# Linux/x86 5.15.16-gnu Kernel Configuration
 #
-CONFIG_CC_VERSION_TEXT="gcc (GCC) 11.2.0"
+CONFIG_CC_VERSION_TEXT="gcc (GCC) 10.3.0"
 CONFIG_CC_IS_GCC=y
-CONFIG_GCC_VERSION=110200
+CONFIG_GCC_VERSION=100300
 CONFIG_CLANG_VERSION=0
 CONFIG_AS_IS_GNU=y
-CONFIG_AS_VERSION=23400
+CONFIG_AS_VERSION=23700
 CONFIG_LD_IS_BFD=y
-CONFIG_LD_VERSION=23400
+CONFIG_LD_VERSION=23700
 CONFIG_LLD_VERSION=0
 CONFIG_CC_CAN_LINK=y
 CONFIG_CC_CAN_LINK_STATIC=y
 CONFIG_CC_HAS_ASM_GOTO=y
-CONFIG_CC_HAS_ASM_GOTO_OUTPUT=y
 CONFIG_CC_HAS_ASM_INLINE=y
 CONFIG_CC_HAS_NO_PROFILE_FN_ATTR=y
 CONFIG_IRQ_WORK=y
@@ -6763,6 +6762,7 @@
 # CONFIG_LOGO_LINUX_MONO is not set
 # CONFIG_LOGO_LINUX_VGA16 is not set
 # CONFIG_LOGO_LINUX_CLUT224 is not set
+# CONFIG_LOGO_LIBRE_CLUT224 is not set
 # end of Graphics support
 
 CONFIG_SOUND=m
@@ -8776,7 +8776,6 @@
 CONFIG_THINKPAD_ACPI_VIDEO=y
 CONFIG_THINKPAD_ACPI_HOTKEY_POLL=y
 CONFIG_THINKPAD_LMI=m
-CONFIG_X86_PLATFORM_DRIVERS_INTEL=y
 CONFIG_INTEL_ATOMISP2_PDX86=y
 CONFIG_INTEL_ATOMISP2_LED=m
 CONFIG_INTEL_SAR_INT1092=m
@@ -10322,8 +10321,6 @@
 CONFIG_STACKLEAK_RUNTIME_DISABLE=y
 CONFIG_INIT_ON_ALLOC_DEFAULT_ON=y
 # CONFIG_INIT_ON_FREE_DEFAULT_ON is not set
-CONFIG_CC_HAS_ZERO_CALL_USED_REGS=y
-# CONFIG_ZERO_CALL_USED_REGS is not set
 # end of Memory initialization
 # end of Kernel hardening options
 # end of Security options
@@ -10806,8 +10803,6 @@
 CONFIG_ARCH_HAS_UBSAN_SANITIZE_ALL=y
 # CONFIG_UBSAN is not set
 CONFIG_HAVE_ARCH_KCSAN=y
-CONFIG_HAVE_KCSAN_COMPILER=y
-# CONFIG_KCSAN is not set
 # end of Generic Kernel Debugging Instruments
 
 CONFIG_DEBUG_KERNEL=y
--8<---------------cut here---------------end--------------->8---

They appear to me as KConfig changes in the newer releases that weren't
propagated to the config files checked.  I've currently running a
reconfigure system on the kernel with an Soundblaster Audigy 2 sound
card; works well :-).

--8<---------------cut here---------------start------------->8---
$ zgrep EMU10K1 /proc/config.gz 
CONFIG_GAMEPORT_EMU10K1=m
CONFIG_SND_EMU10K1=m
CONFIG_SND_EMU10K1_SEQ=m
# CONFIG_SND_EMU10K1X is not set
--8<---------------cut here---------------end--------------->8---

Thanks,

Maxim

[bug#53619] [PATCH 0/3] gnu: linux-libre: Build the snd-emu10k1 module.

[Leo Famulari]

On Sat, Jan 29, 2022 at 10:33:46PM -0500, Maxim Cournoyer wrote:
> The unrelated changes appear just by running 'make oldconfig' on the
> master branch:

Understood. If you check the history of the kernel configs, you'll see
that we try to avoid making unnecessary changes to them within a kernel
series. I think that practice is an important source of stability for
Guix System users.

So, could you try to make only the changes necessary to make
your sound card work? You might have to manually edit the config files.
That is something that we do.

Examples of unnecessary changes:

> -CONFIG_CC_VERSION_TEXT="gcc (GCC) 11.2.0"
> +CONFIG_CC_VERSION_TEXT="gcc (GCC) 10.3.0"
>  CONFIG_CC_IS_GCC=y
> -CONFIG_GCC_VERSION=110200
> +CONFIG_GCC_VERSION=100300
>  CONFIG_CLANG_VERSION=0
>  CONFIG_AS_IS_GNU=y
> -CONFIG_AS_VERSION=23400
> +CONFIG_AS_VERSION=23700
>  CONFIG_LD_IS_BFD=y
> -CONFIG_LD_VERSION=23400
> +CONFIG_LD_VERSION=23700
>  CONFIG_LLD_VERSION=0
>  CONFIG_CC_CAN_LINK=y
>  CONFIG_CC_CAN_LINK_STATIC=y
>  CONFIG_CC_HAS_ASM_GOTO=y
> -CONFIG_CC_HAS_ASM_GOTO_OUTPUT=y
>  CONFIG_CC_HAS_ASM_INLINE=y
>  CONFIG_CC_HAS_NO_PROFILE_FN_ATTR=y
>  CONFIG_IRQ_WORK=y

> -CONFIG_X86_PLATFORM_DRIVERS_INTEL=y

> -CONFIG_CC_HAS_ZERO_CALL_USED_REGS=y
> -# CONFIG_ZERO_CALL_USED_REGS is not set
^
This one disables a new security feature, we definitely don't want to
disable that.

> -CONFIG_HAVE_KCSAN_COMPILER=y
> -# CONFIG_KCSAN is not set

[bug#53619] [PATCH v2 2/3] gnu: linux-libre: Build the snd-emu10k1 kernel module.

[Maxim Cournoyer]

Add the CONFIG_SND_EMU10K1=m and CONFIG_SND_EMU10K1_SEQ=m kernel options to
all of our x86 and ARM configurations.  The change automated via:

$ git grep -rl CONFIG_SND_INDIGODJX | xargs grep -rL CONFIG_SND_EMU10K1=m \
    | xargs sed '/CONFIG_SND_INDIGODJX=m/a\
CONFIG_SND_EMU10K1=m\nCONFIG_SND_EMU10K1_SEQ=m' -i
---
 gnu/packages/aux-files/linux-libre/4.14-arm.conf    | 2 ++
 gnu/packages/aux-files/linux-libre/4.14-x86_64.conf | 2 ++
 gnu/packages/aux-files/linux-libre/4.19-arm.conf    | 2 ++
 gnu/packages/aux-files/linux-libre/4.19-arm64.conf  | 2 ++
 gnu/packages/aux-files/linux-libre/4.19-x86_64.conf | 2 ++
 gnu/packages/aux-files/linux-libre/4.4-x86_64.conf  | 2 ++
 gnu/packages/aux-files/linux-libre/4.9-x86_64.conf  | 2 ++
 gnu/packages/aux-files/linux-libre/5.10-i686.conf   | 2 ++
 gnu/packages/aux-files/linux-libre/5.10-x86_64.conf | 2 ++
 gnu/packages/aux-files/linux-libre/5.15-i686.conf   | 2 ++
 gnu/packages/aux-files/linux-libre/5.15-x86_64.conf | 2 ++
 gnu/packages/aux-files/linux-libre/5.16-i686.conf   | 2 ++
 gnu/packages/aux-files/linux-libre/5.16-x86_64.conf | 2 ++
 gnu/packages/aux-files/linux-libre/5.4-arm.conf     | 2 ++
 gnu/packages/aux-files/linux-libre/5.4-arm64.conf   | 2 ++
 gnu/packages/aux-files/linux-libre/5.4-x86_64.conf  | 2 ++
 16 files changed, 32 insertions(+)

diff --git a/gnu/packages/aux-files/linux-libre/4.14-arm.conf b/gnu/packages/aux-files/linux-libre/4.14-arm.conf
index 03d11b4f53..6da3c1fdf1 100644
--- a/gnu/packages/aux-files/linux-libre/4.14-arm.conf
+++ b/gnu/packages/aux-files/linux-libre/4.14-arm.conf
@@ -5437,6 +5437,8 @@ CONFIG_SND_INDIGOIO=m
 CONFIG_SND_INDIGODJ=m
 CONFIG_SND_INDIGOIOX=m
 CONFIG_SND_INDIGODJX=m
+CONFIG_SND_EMU10K1=m
+CONFIG_SND_EMU10K1_SEQ=m
 # CONFIG_SND_EMU10K1_SEQ is not set
 # CONFIG_SND_ENS1370 is not set
 # CONFIG_SND_ENS1371 is not set
diff --git a/gnu/packages/aux-files/linux-libre/4.14-x86_64.conf b/gnu/packages/aux-files/linux-libre/4.14-x86_64.conf
index 09c81b4b00..291f6aa381 100644
--- a/gnu/packages/aux-files/linux-libre/4.14-x86_64.conf
+++ b/gnu/packages/aux-files/linux-libre/4.14-x86_64.conf
@@ -5958,6 +5958,8 @@ CONFIG_SND_INDIGOIO=m
 CONFIG_SND_INDIGODJ=m
 CONFIG_SND_INDIGOIOX=m
 CONFIG_SND_INDIGODJX=m
+CONFIG_SND_EMU10K1=m
+CONFIG_SND_EMU10K1_SEQ=m
 # CONFIG_SND_EMU10K1_SEQ is not set
 CONFIG_SND_ENS1370=m
 CONFIG_SND_ENS1371=m
diff --git a/gnu/packages/aux-files/linux-libre/4.19-arm.conf b/gnu/packages/aux-files/linux-libre/4.19-arm.conf
index 9fd2a41a63..edc981eb57 100644
--- a/gnu/packages/aux-files/linux-libre/4.19-arm.conf
+++ b/gnu/packages/aux-files/linux-libre/4.19-arm.conf
@@ -5598,6 +5598,8 @@ CONFIG_SND_INDIGOIO=m
 CONFIG_SND_INDIGODJ=m
 CONFIG_SND_INDIGOIOX=m
 CONFIG_SND_INDIGODJX=m
+CONFIG_SND_EMU10K1=m
+CONFIG_SND_EMU10K1_SEQ=m
 # CONFIG_SND_ENS1370 is not set
 # CONFIG_SND_ENS1371 is not set
 # CONFIG_SND_FM801 is not set
diff --git a/gnu/packages/aux-files/linux-libre/4.19-arm64.conf b/gnu/packages/aux-files/linux-libre/4.19-arm64.conf
index 69c7c439fe..aedb54382f 100644
--- a/gnu/packages/aux-files/linux-libre/4.19-arm64.conf
+++ b/gnu/packages/aux-files/linux-libre/4.19-arm64.conf
@@ -5331,6 +5331,8 @@ CONFIG_SND_INDIGOIO=m
 CONFIG_SND_INDIGODJ=m
 CONFIG_SND_INDIGOIOX=m
 CONFIG_SND_INDIGODJX=m
+CONFIG_SND_EMU10K1=m
+CONFIG_SND_EMU10K1_SEQ=m
 # CONFIG_SND_ENS1370 is not set
 # CONFIG_SND_ENS1371 is not set
 # CONFIG_SND_FM801 is not set
diff --git a/gnu/packages/aux-files/linux-libre/4.19-x86_64.conf b/gnu/packages/aux-files/linux-libre/4.19-x86_64.conf
index 45ab903288..0fb0cf9a7f 100644
--- a/gnu/packages/aux-files/linux-libre/4.19-x86_64.conf
+++ b/gnu/packages/aux-files/linux-libre/4.19-x86_64.conf
@@ -6173,6 +6173,8 @@ CONFIG_SND_INDIGOIO=m
 CONFIG_SND_INDIGODJ=m
 CONFIG_SND_INDIGOIOX=m
 CONFIG_SND_INDIGODJX=m
+CONFIG_SND_EMU10K1=m
+CONFIG_SND_EMU10K1_SEQ=m
 CONFIG_SND_ENS1370=m
 CONFIG_SND_ENS1371=m
 CONFIG_SND_FM801=m
diff --git a/gnu/packages/aux-files/linux-libre/4.4-x86_64.conf b/gnu/packages/aux-files/linux-libre/4.4-x86_64.conf
index 9e3f4d5e70..89dc907eca 100644
--- a/gnu/packages/aux-files/linux-libre/4.4-x86_64.conf
+++ b/gnu/packages/aux-files/linux-libre/4.4-x86_64.conf
@@ -5494,6 +5494,8 @@ CONFIG_SND_INDIGOIO=m
 CONFIG_SND_INDIGODJ=m
 CONFIG_SND_INDIGOIOX=m
 CONFIG_SND_INDIGODJX=m
+CONFIG_SND_EMU10K1=m
+CONFIG_SND_EMU10K1_SEQ=m
 CONFIG_SND_ENS1370=m
 CONFIG_SND_ENS1371=m
 CONFIG_SND_FM801=m
diff --git a/gnu/packages/aux-files/linux-libre/4.9-x86_64.conf b/gnu/packages/aux-files/linux-libre/4.9-x86_64.conf
index 42edbb12a2..8d47127ece 100644
--- a/gnu/packages/aux-files/linux-libre/4.9-x86_64.conf
+++ b/gnu/packages/aux-files/linux-libre/4.9-x86_64.conf
@@ -5733,6 +5733,8 @@ CONFIG_SND_INDIGOIO=m
 CONFIG_SND_INDIGODJ=m
 CONFIG_SND_INDIGOIOX=m
 CONFIG_SND_INDIGODJX=m
+CONFIG_SND_EMU10K1=m
+CONFIG_SND_EMU10K1_SEQ=m
 CONFIG_SND_ENS1370=m
 CONFIG_SND_ENS1371=m
 CONFIG_SND_FM801=m
diff --git a/gnu/packages/aux-files/linux-libre/5.10-i686.conf b/gnu/packages/aux-files/linux-libre/5.10-i686.conf
index cc4f703467..7111ab0eb0 100644
--- a/gnu/packages/aux-files/linux-libre/5.10-i686.conf
+++ b/gnu/packages/aux-files/linux-libre/5.10-i686.conf
@@ -6782,6 +6782,8 @@ CONFIG_SND_INDIGOIO=m
 CONFIG_SND_INDIGODJ=m
 CONFIG_SND_INDIGOIOX=m
 CONFIG_SND_INDIGODJX=m
+CONFIG_SND_EMU10K1=m
+CONFIG_SND_EMU10K1_SEQ=m
 CONFIG_SND_ENS1370=m
 CONFIG_SND_ENS1371=m
 CONFIG_SND_FM801=m
diff --git a/gnu/packages/aux-files/linux-libre/5.10-x86_64.conf b/gnu/packages/aux-files/linux-libre/5.10-x86_64.conf
index 85e5967fb1..3a8dbcd3ee 100644
--- a/gnu/packages/aux-files/linux-libre/5.10-x86_64.conf
+++ b/gnu/packages/aux-files/linux-libre/5.10-x86_64.conf
@@ -6671,6 +6671,8 @@ CONFIG_SND_INDIGOIO=m
 CONFIG_SND_INDIGODJ=m
 CONFIG_SND_INDIGOIOX=m
 CONFIG_SND_INDIGODJX=m
+CONFIG_SND_EMU10K1=m
+CONFIG_SND_EMU10K1_SEQ=m
 CONFIG_SND_ENS1370=m
 CONFIG_SND_ENS1371=m
 CONFIG_SND_FM801=m
diff --git a/gnu/packages/aux-files/linux-libre/5.15-i686.conf b/gnu/packages/aux-files/linux-libre/5.15-i686.conf
index c4f54ca5d3..b03a50a391 100644
--- a/gnu/packages/aux-files/linux-libre/5.15-i686.conf
+++ b/gnu/packages/aux-files/linux-libre/5.15-i686.conf
@@ -6942,6 +6942,8 @@ CONFIG_SND_INDIGOIO=m
 CONFIG_SND_INDIGODJ=m
 CONFIG_SND_INDIGOIOX=m
 CONFIG_SND_INDIGODJX=m
+CONFIG_SND_EMU10K1=m
+CONFIG_SND_EMU10K1_SEQ=m
 CONFIG_SND_ENS1370=m
 CONFIG_SND_ENS1371=m
 CONFIG_SND_FM801=m
diff --git a/gnu/packages/aux-files/linux-libre/5.15-x86_64.conf b/gnu/packages/aux-files/linux-libre/5.15-x86_64.conf
index 54f6dc375a..0faf28e4c7 100644
--- a/gnu/packages/aux-files/linux-libre/5.15-x86_64.conf
+++ b/gnu/packages/aux-files/linux-libre/5.15-x86_64.conf
@@ -6856,6 +6856,8 @@ CONFIG_SND_INDIGOIO=m
 CONFIG_SND_INDIGODJ=m
 CONFIG_SND_INDIGOIOX=m
 CONFIG_SND_INDIGODJX=m
+CONFIG_SND_EMU10K1=m
+CONFIG_SND_EMU10K1_SEQ=m
 CONFIG_SND_ENS1370=m
 CONFIG_SND_ENS1371=m
 CONFIG_SND_FM801=m
diff --git a/gnu/packages/aux-files/linux-libre/5.16-i686.conf b/gnu/packages/aux-files/linux-libre/5.16-i686.conf
index a5773c54cf..c18e4fcfc3 100644
--- a/gnu/packages/aux-files/linux-libre/5.16-i686.conf
+++ b/gnu/packages/aux-files/linux-libre/5.16-i686.conf
@@ -6982,6 +6982,8 @@ CONFIG_SND_INDIGOIO=m
 CONFIG_SND_INDIGODJ=m
 CONFIG_SND_INDIGOIOX=m
 CONFIG_SND_INDIGODJX=m
+CONFIG_SND_EMU10K1=m
+CONFIG_SND_EMU10K1_SEQ=m
 CONFIG_SND_ENS1370=m
 CONFIG_SND_ENS1371=m
 CONFIG_SND_FM801=m
diff --git a/gnu/packages/aux-files/linux-libre/5.16-x86_64.conf b/gnu/packages/aux-files/linux-libre/5.16-x86_64.conf
index 048056b456..0ff4eee0aa 100644
--- a/gnu/packages/aux-files/linux-libre/5.16-x86_64.conf
+++ b/gnu/packages/aux-files/linux-libre/5.16-x86_64.conf
@@ -6892,6 +6892,8 @@ CONFIG_SND_INDIGOIO=m
 CONFIG_SND_INDIGODJ=m
 CONFIG_SND_INDIGOIOX=m
 CONFIG_SND_INDIGODJX=m
+CONFIG_SND_EMU10K1=m
+CONFIG_SND_EMU10K1_SEQ=m
 CONFIG_SND_ENS1370=m
 CONFIG_SND_ENS1371=m
 CONFIG_SND_FM801=m
diff --git a/gnu/packages/aux-files/linux-libre/5.4-arm.conf b/gnu/packages/aux-files/linux-libre/5.4-arm.conf
index 8d592b9c0a..a680731bc8 100644
--- a/gnu/packages/aux-files/linux-libre/5.4-arm.conf
+++ b/gnu/packages/aux-files/linux-libre/5.4-arm.conf
@@ -6045,6 +6045,8 @@ CONFIG_SND_INDIGOIO=m
 CONFIG_SND_INDIGODJ=m
 CONFIG_SND_INDIGOIOX=m
 CONFIG_SND_INDIGODJX=m
+CONFIG_SND_EMU10K1=m
+CONFIG_SND_EMU10K1_SEQ=m
 # CONFIG_SND_ENS1370 is not set
 # CONFIG_SND_ENS1371 is not set
 # CONFIG_SND_FM801 is not set
diff --git a/gnu/packages/aux-files/linux-libre/5.4-arm64.conf b/gnu/packages/aux-files/linux-libre/5.4-arm64.conf
index 17fc87e869..a867660aa7 100644
--- a/gnu/packages/aux-files/linux-libre/5.4-arm64.conf
+++ b/gnu/packages/aux-files/linux-libre/5.4-arm64.conf
@@ -5870,6 +5870,8 @@ CONFIG_SND_INDIGOIO=m
 CONFIG_SND_INDIGODJ=m
 CONFIG_SND_INDIGOIOX=m
 CONFIG_SND_INDIGODJX=m
+CONFIG_SND_EMU10K1=m
+CONFIG_SND_EMU10K1_SEQ=m
 # CONFIG_SND_ENS1370 is not set
 # CONFIG_SND_ENS1371 is not set
 # CONFIG_SND_FM801 is not set
diff --git a/gnu/packages/aux-files/linux-libre/5.4-x86_64.conf b/gnu/packages/aux-files/linux-libre/5.4-x86_64.conf
index 91b3033260..d93d6065b8 100644
--- a/gnu/packages/aux-files/linux-libre/5.4-x86_64.conf
+++ b/gnu/packages/aux-files/linux-libre/5.4-x86_64.conf
@@ -6469,6 +6469,8 @@ CONFIG_SND_INDIGOIO=m
 CONFIG_SND_INDIGODJ=m
 CONFIG_SND_INDIGOIOX=m
 CONFIG_SND_INDIGODJX=m
+CONFIG_SND_EMU10K1=m
+CONFIG_SND_EMU10K1_SEQ=m
 CONFIG_SND_ENS1370=m
 CONFIG_SND_ENS1371=m
 CONFIG_SND_FM801=m
-- 
2.34.0

[bug#53619] [PATCH 0/3] gnu: linux-libre: Build the snd-emu10k1 module.

[Maxim Cournoyer]

Hi Leo,

Leo Famulari <leo@famulari.name> writes:

> On Sat, Jan 29, 2022 at 10:33:46PM -0500, Maxim Cournoyer wrote:
>> The unrelated changes appear just by running 'make oldconfig' on the
>> master branch:
>
> Understood. If you check the history of the kernel configs, you'll see
> that we try to avoid making unnecessary changes to them within a kernel
> series. I think that practice is an important source of stability for
> Guix System users.

OK!  Thanks for explaining this; I was wondering about which methodology
were used.  It's reasonable.

> So, could you try to make only the changes necessary to make
> your sound card work? You might have to manually edit the config files.
> That is something that we do.
>
> Examples of unnecessary changes:
>
>> -CONFIG_CC_VERSION_TEXT="gcc (GCC) 11.2.0"
>> +CONFIG_CC_VERSION_TEXT="gcc (GCC) 10.3.0"
>>  CONFIG_CC_IS_GCC=y
>> -CONFIG_GCC_VERSION=110200
>> +CONFIG_GCC_VERSION=100300
>>  CONFIG_CLANG_VERSION=0
>>  CONFIG_AS_IS_GNU=y
>> -CONFIG_AS_VERSION=23400
>> +CONFIG_AS_VERSION=23700
>>  CONFIG_LD_IS_BFD=y
>> -CONFIG_LD_VERSION=23400
>> +CONFIG_LD_VERSION=23700
>>  CONFIG_LLD_VERSION=0>>  CONFIG_CC_CAN_LINK=y
>>  CONFIG_CC_CAN_LINK_STATIC=y
>>  CONFIG_CC_HAS_ASM_GOTO=y
>> -CONFIG_CC_HAS_ASM_GOTO_OUTPUT=y
>>  CONFIG_CC_HAS_ASM_INLINE=y
>>  CONFIG_CC_HAS_NO_PROFILE_FN_ATTR=y
>>  CONFIG_IRQ_WORK=y

I've dropped that hunk for all touched config files, as well as all the
ones not about CONFIG_SND* options.

>> -CONFIG_X86_PLATFORM_DRIVERS_INTEL=y
>
>> -CONFIG_CC_HAS_ZERO_CALL_USED_REGS=y
>> -# CONFIG_ZERO_CALL_USED_REGS is not set
> ^
> This one disables a new security feature, we definitely don't want to
> disable that.

Ugh.  Not sure why 'make oldconfig' ends up with this.  You'll probably
want to be careful when running it for the next upgrade.

I've adjusted strategy and used grep & sed to add support for the
EMU10K1-based sound cards without the added noise of 'make oldconfig'.

It's interesting to note that EMU10K1 was already enabled for some
configs.

Thank you!

Maxim

bug#53619: [PATCH 0/3] gnu: linux-libre: Build the snd-emu10k1 module.

[Maxim Cournoyer]

Hello,

As discussed on IRC the other day, I've tested this configuration on all
kernels via 'make check-system TESTS=basic' on x86_64, and the result
was the same as before the change:

--8<---------------cut here---------------start------------->8---
version: 5.16.2 FAIL kernel module not found "framebuffer_coreboot"

version: 5.15.16 OK

version: 5.10.93 OK

version: 5.4.173 OK

version: 4.19.225 FAIL kernel module not found "framebuffer_coreboot"

version: 4.14.262 FAIL kernel module not found "framebuffer_coreboot"

version: 4.9.297 FAIL kernel module not found "framebuffer_coreboot"

version: 4.4.299 FAIL kernel module not found "framebuffer_coreboot"
--8<---------------cut here---------------end--------------->8---

I was testing the different linux-libre kernels using something like:

--8<---------------cut here---------------start------------->8---
modified   gnu/tests.scm
@@ -26,6 +26,7 @@ (define-module (gnu tests)
   #:use-module ((guix ui) #:select (warn-about-load-error))
   #:use-module (gnu bootloader)
   #:use-module (gnu bootloader grub)
+  #:use-module (gnu packages linux)
   #:use-module (gnu system)
   #:use-module (gnu system file-systems)
   #:use-module (gnu system shadow)
@@ -229,6 +230,7 @@ (define %simple-os
                           (type "ext4"))
                         %base-file-systems))
     (firmware '())
+    (kernel linux-libre-4.14)
 
     (users (cons (user-account
                   (name "alice")
--8<---------------cut here---------------end--------------->8---

The failures are all attributable to #52667.

I pushed the series with 1923ac4034653f86b5442417c4ea2a4603c69114.

Thanks for the review,

Closing.

Maxim

[bug#53619] [PATCH 0/3] gnu: linux-libre: Build the snd-emu10k1 module.

[Maxim Cournoyer]

Hi Leo,

I thought I had replied here with a more complete answer, but it seems
it may have fallen into the cracks as well, so I'll summarize what I
tested:

I tested on each kernel and it passed the 'make check-system
TESTS=basic' system test for all kernels not currently failing to boot
due to the coreboot framebuffer issue:

--8<---------------cut here---------------start------------->8---
version: 5.16.2 FAIL kernel module not found "framebuffer_coreboot"

version: 5.15.16 OK

version: 5.10.93 OK

version: 5.4.173 OK

version: 4.19.225 FAIL kernel module not found "framebuffer_coreboot"

version: 4.14.262 FAIL kernel module not found "framebuffer_coreboot"

version: 4.9.297 FAIL kernel module not found "framebuffer_coreboot"

version: 4.4.299 FAIL kernel module not found "framebuffer_coreboot"

Where for the failed kernels the failure was:
gnu/build/linux-modules.scm:257:5: kernel module not found "framebuffer_coreboot" "/gnu/store/dk6bzmfg1zyfhwg3yzwi47ncn5dqb8cr-linux-libre-5.16.5/lib/modules"
--8<---------------cut here---------------end--------------->8---

This has now been merged into master as of
e5c06dce937d96b36fab73df12ccfb6e77d127ac.

Thank you!

Maxim