Index: build_kernel_image.sh |
diff --git a/build_kernel_image.sh b/build_kernel_image.sh |
index 01d01853699f60f84fda8559f554a532b25ec5e9..58b20f2fa17487ef8334b91f88f002f6355a625f 100755 |
--- a/build_kernel_image.sh |
+++ b/build_kernel_image.sh |
@@ -167,6 +167,7 @@ cros_secure |
kern_guid=%U |
tpm_tis.force=1 |
tpm_tis.interrupts=0 |
+nmi_watchdog=panic,lapic |
EOF |
WORK="${WORK} ${FLAGS_working_dir}/config.txt" |