aboutsummaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2023-10-22 02:00:00 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2023-10-22 02:00:00 +0200
commit6d7e181ba18d11c92409a93936025fb46b9c8171 (patch)
tree43b8c93fd41728406f230f069183579a98805cd4 /gnu
parent6c894b7a1a6a7a0f7c51a44136bba00dc0b5250c (diff)
downloadguix-6d7e181ba18d11c92409a93936025fb46b9c8171.tar
guix-6d7e181ba18d11c92409a93936025fb46b9c8171.tar.gz
gnu: linux-libre@6: Enable Coreboot framebuffer support (again).
This also resolves an unexplained divergence in the i686 and x86_64 kernel configurations. * gnu/packages/aux-files/linux-libre/6.1-i686.conf, gnu/packages/aux-files/linux-libre/6.5-i686.conf: Set CONFIG_DRM_SIMPLEDRM=m. * gnu/packages/aux-files/linux-libre/6.1-x86_64.conf, gnu/packages/aux-files/linux-libre/6.5-x86_64.conf: Likewise, and set CONFIG_SYSFB_SIMPLEFB=y and CONFIG_GOOGLE_FRAMEBUFFER_COREBOOT=m. Change-Id: I707a293b58f7502cf107057ee0fa0b23d5630696
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/aux-files/linux-libre/6.1-i686.conf2
-rw-r--r--gnu/packages/aux-files/linux-libre/6.1-x86_64.conf12
-rw-r--r--gnu/packages/aux-files/linux-libre/6.5-i686.conf2
-rw-r--r--gnu/packages/aux-files/linux-libre/6.5-x86_64.conf14
4 files changed, 23 insertions, 7 deletions
diff --git a/gnu/packages/aux-files/linux-libre/6.1-i686.conf b/gnu/packages/aux-files/linux-libre/6.1-i686.conf
index 58f84b901a..7df206d768 100644
--- a/gnu/packages/aux-files/linux-libre/6.1-i686.conf
+++ b/gnu/packages/aux-files/linux-libre/6.1-i686.conf
@@ -6841,7 +6841,7 @@ CONFIG_DRM_BOCHS=m
CONFIG_DRM_CIRRUS_QEMU=m
CONFIG_DRM_GM12U320=m
CONFIG_DRM_PANEL_MIPI_DBI=m
-# CONFIG_DRM_SIMPLEDRM is not set
+CONFIG_DRM_SIMPLEDRM=m
CONFIG_TINYDRM_HX8357D=m
CONFIG_TINYDRM_ILI9163=m
CONFIG_TINYDRM_ILI9225=m
diff --git a/gnu/packages/aux-files/linux-libre/6.1-x86_64.conf b/gnu/packages/aux-files/linux-libre/6.1-x86_64.conf
index 31e5744ff3..d1aad1c086 100644
--- a/gnu/packages/aux-files/linux-libre/6.1-x86_64.conf
+++ b/gnu/packages/aux-files/linux-libre/6.1-x86_64.conf
@@ -2305,7 +2305,15 @@ CONFIG_FW_CFG_SYSFS=m
CONFIG_SYSFB=y
# CONFIG_SYSFB_SIMPLEFB is not set
CONFIG_CS_DSP=m
-# CONFIG_GOOGLE_FIRMWARE is not set
+CONFIG_GOOGLE_FIRMWARE=y
+# CONFIG_GOOGLE_SMI is not set
+# CONFIG_GOOGLE_CBMEM is not set
+CONFIG_GOOGLE_COREBOOT_TABLE=m
+# CONFIG_GOOGLE_MEMCONSOLE is not set
+# CONFIG_GOOGLE_MEMCONSOLE_X86_LEGACY is not set
+CONFIG_GOOGLE_FRAMEBUFFER_COREBOOT=m
+# CONFIG_GOOGLE_MEMCONSOLE_COREBOOT is not set
+# CONFIG_GOOGLE_VPD is not set
#
# EFI (Extensible Firmware Interface) Support
@@ -6831,7 +6839,7 @@ CONFIG_DRM_BOCHS=m
CONFIG_DRM_CIRRUS_QEMU=m
CONFIG_DRM_GM12U320=m
CONFIG_DRM_PANEL_MIPI_DBI=m
-# CONFIG_DRM_SIMPLEDRM is not set
+CONFIG_DRM_SIMPLEDRM=m
CONFIG_TINYDRM_HX8357D=m
CONFIG_TINYDRM_ILI9163=m
CONFIG_TINYDRM_ILI9225=m
diff --git a/gnu/packages/aux-files/linux-libre/6.5-i686.conf b/gnu/packages/aux-files/linux-libre/6.5-i686.conf
index 24ac65b663..d9d7cd2ed0 100644
--- a/gnu/packages/aux-files/linux-libre/6.5-i686.conf
+++ b/gnu/packages/aux-files/linux-libre/6.5-i686.conf
@@ -6930,7 +6930,7 @@ CONFIG_DRM_BOCHS=m
CONFIG_DRM_CIRRUS_QEMU=m
CONFIG_DRM_GM12U320=m
CONFIG_DRM_PANEL_MIPI_DBI=m
-# CONFIG_DRM_SIMPLEDRM is not set
+CONFIG_DRM_SIMPLEDRM=m
CONFIG_TINYDRM_HX8357D=m
CONFIG_TINYDRM_ILI9163=m
CONFIG_TINYDRM_ILI9225=m
diff --git a/gnu/packages/aux-files/linux-libre/6.5-x86_64.conf b/gnu/packages/aux-files/linux-libre/6.5-x86_64.conf
index e951a5cfa4..dc3a210362 100644
--- a/gnu/packages/aux-files/linux-libre/6.5-x86_64.conf
+++ b/gnu/packages/aux-files/linux-libre/6.5-x86_64.conf
@@ -2350,9 +2350,17 @@ CONFIG_ISCSI_IBFT=m
CONFIG_FW_CFG_SYSFS=m
# CONFIG_FW_CFG_SYSFS_CMDLINE is not set
CONFIG_SYSFB=y
-# CONFIG_SYSFB_SIMPLEFB is not set
+CONFIG_SYSFB_SIMPLEFB=y
CONFIG_FW_CS_DSP=m
-# CONFIG_GOOGLE_FIRMWARE is not set
+CONFIG_GOOGLE_FIRMWARE=y
+# CONFIG_GOOGLE_SMI is not set
+# CONFIG_GOOGLE_CBMEM is not set
+CONFIG_GOOGLE_COREBOOT_TABLE=m
+# CONFIG_GOOGLE_MEMCONSOLE is not set
+# CONFIG_GOOGLE_MEMCONSOLE_X86_LEGACY is not set
+CONFIG_GOOGLE_FRAMEBUFFER_COREBOOT=m
+# CONFIG_GOOGLE_MEMCONSOLE_COREBOOT is not set
+# CONFIG_GOOGLE_VPD is not set
#
# EFI (Extensible Firmware Interface) Support
@@ -6945,7 +6953,7 @@ CONFIG_DRM_BOCHS=m
CONFIG_DRM_CIRRUS_QEMU=m
CONFIG_DRM_GM12U320=m
CONFIG_DRM_PANEL_MIPI_DBI=m
-# CONFIG_DRM_SIMPLEDRM is not set
+CONFIG_DRM_SIMPLEDRM=m
CONFIG_TINYDRM_HX8357D=m
CONFIG_TINYDRM_ILI9163=m
CONFIG_TINYDRM_ILI9225=m