Index: vkernel/kernel_image.c |
diff --git a/vkernel/kernel_image.c b/vkernel/kernel_image.c |
index f78f0f4624e5b6e64f280a4d49799093951e10ce..392ee1fc344f2dcd8867e55fd947c9d506ca2ee4 100644 |
--- a/vkernel/kernel_image.c |
+++ b/vkernel/kernel_image.c |
@@ -20,6 +20,7 @@ |
#include "rollback_index.h" |
#include "signature_digest.h" |
#include "stateful_util.h" |
+#include "utility.h" |
/* Macro to determine the size of a field structure in the KernelImage |
* structure. */ |