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