diff --git a/include/lib/extensions/fpu.h b/include/lib/extensions/fpu.h
index c803081..a4c4b45 100644
--- a/include/lib/extensions/fpu.h
+++ b/include/lib/extensions/fpu.h
@@ -18,6 +18,7 @@
 
 #ifndef __ASSEMBLER__
 
+#include <stdbool.h>
 #include <stdint.h>
 
 typedef struct fpu_reg_state {