gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

linux/common-config: Enable coreboot firmware drivers

Browse Source
This commit is contained in:
Ingo Reitz
2025-12-14 01:18:25 +01:00
parent f407bfe0b8
commit fca84bde0f
1 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/os-specific/linux/kernel/common-config.nix
+10
View File
@@ -1407,6 +1407,16 @@ let
# Enable generic kernel watch queues # Enable generic kernel watch queues
# See https://docs.kernel.org/core-api/watch_queue.html # See https://docs.kernel.org/core-api/watch_queue.html
WATCH_QUEUE = yes; 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 lib.optionalAttrs