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