Index: firmware/include/sysincludes.h |
diff --git a/firmware/include/sysincludes.h b/firmware/include/sysincludes.h |
index 758e5820a2f860e9a9a5bf51390b42d517c02b7f..13c0914a84f4354d1732cdf596499d41246ba9c1 100644 |
--- a/firmware/include/sysincludes.h |
+++ b/firmware/include/sysincludes.h |
@@ -15,6 +15,8 @@ |
#ifndef VBOOT_REFERENCE_SYSINCLUDES_H_ |
#define VBOOT_REFERENCE_SYSINCLUDES_H_ |
+#ifdef CHROMEOS_ENVIRONMENT |
+ |
#include <inttypes.h> /* For PRIu64 */ |
#include <stdint.h> |
#include <stdlib.h> |
@@ -24,5 +26,8 @@ |
#include <memory.h> |
#endif |
+#else |
+#include "stub/biosincludes.h" |
+#endif |
#endif /* VBOOT_REFERENCE_SYSINCLUDES_H_ */ |