Index: vboot_firmware/include/load_kernel_fw.h |
diff --git a/vboot_firmware/include/load_kernel_fw.h b/vboot_firmware/include/load_kernel_fw.h |
index bbacbbdfa3054d0e8223fb56906db97198641ac0..4f86b4032d5e020c08b337a9bb7fea837507bef0 100644 |
--- a/vboot_firmware/include/load_kernel_fw.h |
+++ b/vboot_firmware/include/load_kernel_fw.h |
@@ -9,7 +9,7 @@ |
#ifndef VBOOT_REFERENCE_LOAD_KERNEL_FW_H_ |
#define VBOOT_REFERENCE_LOAD_KERNEL_FW_H_ |
-#include <stdint.h> |
+#include "sysincludes.h" |
/* Interface provided by verified boot library to BDS */ |