4 files changed, 13 insertions, 0 deletions
diff --git a/src/arch/arm/include/stdint.h b/src/arch/arm/include/stdint.h
index 9d41e6359a..c50e664df1 100644
--- a/src/arch/arm/include/stdint.h
+++ b/src/arch/arm/include/stdint.h
@@ -75,6 +75,10 @@ typedef int8_t s8;
 typedef int16_t s16;
 typedef int32_t s32;
 
+typedef uint8_t bool;
+#define true	1
+#define false	0
+
 #ifndef UINT32_MAX
 #define UINT32_MAX (4294967295U)
 #endif
diff --git a/src/arch/arm64/include/stdint.h b/src/arch/arm64/include/stdint.h
index 2907d8eae6..38c2e1ee2f 100644
--- a/src/arch/arm64/include/stdint.h
+++ b/src/arch/arm64/include/stdint.h
@@ -52,6 +52,9 @@ typedef int16_t s16;
 typedef int32_t s32;
 typedef int64_t s64;
 
+typedef uint8_t bool;
+#define true	1
+#define false	0
 
 /* Types for `void *' pointers.  */
 typedef s64             intptr_t;
diff --git a/src/arch/riscv/include/stdint.h b/src/arch/riscv/include/stdint.h
index a14d053757..24562cde9b 100644
--- a/src/arch/riscv/include/stdint.h
+++ b/src/arch/riscv/include/stdint.h
@@ -52,6 +52,9 @@ typedef int16_t s16;
 typedef int32_t s32;
 typedef int64_t s64;
 
+typedef uint8_t bool;
+#define true	1
+#define false	0
 
 /* Types for `void *' pointers.  */
 typedef s64             intptr_t;
diff --git a/src/arch/x86/include/stdint.h b/src/arch/x86/include/stdint.h
index c491f4b6e0..e8453abb6a 100644
--- a/src/arch/x86/include/stdint.h
+++ b/src/arch/x86/include/stdint.h
@@ -75,6 +75,9 @@ typedef int8_t s8;
 typedef int16_t s16;
 typedef int32_t s32;
 
+typedef uint8_t bool;
+#define true	1
+#define false	0
 
 #ifndef UINT32_MAX
 #define UINT32_MAX (4294967295U)