From fca84bde0f7d29bbcce78ac75eb8735d5bc9629e Mon Sep 17 00:00:00 2001
From: Ingo Reitz <9l@9lo.re>
Date: Sun, 14 Dec 2025 00:56:15 +0100
Subject: [PATCH] linux/common-config: Enable coreboot firmware drivers

---
 pkgs/os-specific/linux/kernel/common-config.nix | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/pkgs/os-specific/linux/kernel/common-config.nix b/pkgs/os-specific/linux/kernel/common-config.nix
index 5ea3e16a8c55..c4f1181c64cd 100644
--- a/pkgs/os-specific/linux/kernel/common-config.nix
+++ b/pkgs/os-specific/linux/kernel/common-config.nix
@@ -1407,6 +1407,16 @@ let
         # Enable generic kernel watch queues
         # See https://docs.kernel.org/core-api/watch_queue.html
         WATCH_QUEUE = yes;
+
+        # Enable coreboot firmware drivers.
+        # While these are called CONFIG_GOOGLE_*, they apply to coreboot systems in general.
+        GOOGLE_FIRMWARE = yes;
+        GOOGLE_CBMEM = whenAtLeast "6.2" module;
+        GOOGLE_COREBOOT_TABLE = module;
+        GOOGLE_MEMCONSOLE = module;
+        GOOGLE_MEMCONSOLE_COREBOOT = module;
+        GOOGLE_FRAMEBUFFER_COREBOOT = module;
+        GOOGLE_VPD = module;
       }
       //
         lib.optionalAttrs