Index: kernel/generic/include/sysinfo/sysinfo.h
===================================================================
--- kernel/generic/include/sysinfo/sysinfo.h	(revision 196c2530df71f9f2878804f3f8971bb545304e28)
+++ kernel/generic/include/sysinfo/sysinfo.h	(revision aca642c01e1dd4f0528a1c47cbf0f2c426164564)
@@ -38,4 +38,5 @@
 
 #include <typedefs.h>
+#include <stdbool.h>
 #include <str.h>
 #include <abi/sysinfo.h>