From ce90a12b537fab1251f27ebf48bc99252edf1a09 Mon Sep 17 00:00:00 2001
From: Andrew Kozlik <andrew.kozlik@gmail.com>
Date: Tue, 12 Feb 2019 13:31:19 +0100
Subject: [PATCH] Treat missing EDEK as a fault.

---
 storage.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/storage.c b/storage.c
index 9cb396cbf..5a20ba578 100644
--- a/storage.c
+++ b/storage.c
@@ -680,6 +680,7 @@ static secbool unlock(uint32_t pin)
     uint16_t len = 0;
     if (sectrue != initialized || sectrue != norcow_get(EDEK_PVC_KEY, &buffer, &len) || len != RANDOM_SALT_SIZE + KEYS_SIZE + PVC_SIZE) {
         memzero(&pin, sizeof(pin));
+        handle_fault("no EDEK");
         return secfalse;
     }