Index: vboot_firmware/include/load_firmware_fw.h |
diff --git a/vboot_firmware/include/load_firmware_fw.h b/vboot_firmware/include/load_firmware_fw.h |
index c6693c3389cd1008e1481b20e68955eeaad9c66a..8ba67cf7b8e53da31175e0e55b38eb7d0eff6d34 100644 |
--- a/vboot_firmware/include/load_firmware_fw.h |
+++ b/vboot_firmware/include/load_firmware_fw.h |
@@ -9,7 +9,7 @@ |
#ifndef VBOOT_REFERENCE_LOAD_FIRMWARE_FW_H_ |
#define VBOOT_REFERENCE_LOAD_FIRMWARE_FW_H_ |
-#include <stdint.h> |
+#include "sysincludes.h" |
/* Recommended size of kernel_sign_key_blob in bytes, for |
* implementations which must preallocate a transfer buffer between |