From 81322ec6ffe1f971b45561d70faf8749342607a4 Mon Sep 17 00:00:00 2001
From: Alejandro Soto <alejandro@34project.org>
Date: Sat, 26 Jul 2025 10:54:14 -0600
Subject: sys/boot/tpm: support different TPM drivers (tpm_tis vs tpm_crb)

---
 sys/boot/tpm.nix | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/sys/boot/tpm.nix b/sys/boot/tpm.nix
index 1e446ab..4093e47 100644
--- a/sys/boot/tpm.nix
+++ b/sys/boot/tpm.nix
@@ -44,6 +44,10 @@ in
   options.local.boot.tpm = {
     enable = mkEnableOption "Trusted Platform Module 2.0";
 
+    driver = mkOption {
+      type = types.enum [ "tis" "crb" ];
+    };
+
     initrd = {
       enable = mkEnableOption "TPM2 in initrd";
 
@@ -74,7 +78,7 @@ in
       '';
 
       kernelModules = [
-        "tpm_tis"
+        "tpm_${cfg.driver}"
       ];
     };
 
-- 
cgit v1.2.3