sys/boot/tpm: support different TPM drivers (tpm_tis vs tpm_crb)

1 files changed, 5 insertions, 1 deletions

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}"
       ];
     };