From 6193f5260c6070323500a96d80264332cee14e61 Mon Sep 17 00:00:00 2001
From: Thomas Strobel <ts468@cam.ac.uk>
Date: Sun, 2 Aug 2015 22:55:45 +0200
Subject: [PATCH] tcsd module: adjust default value of kernelPCRs

---
 nixos/modules/services/hardware/tcsd.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nixos/modules/services/hardware/tcsd.nix b/nixos/modules/services/hardware/tcsd.nix
index ced2d49c1e15..d957b5063d38 100644
--- a/nixos/modules/services/hardware/tcsd.nix
+++ b/nixos/modules/services/hardware/tcsd.nix
@@ -76,7 +76,7 @@ in
       };
 
       kernelPCRs = mkOption {
-        default = "10,11";
+        default = "8,9,10,11,12";
         type = types.string;
         description = "PCR indices used in the TPM for kernel measurements.";
       };