Index: uspace/drv/char/ns8250/ns8250.c
===================================================================
--- uspace/drv/char/ns8250/ns8250.c	(revision 1ae74c6cce175c398f5c387eb9c2127110cca7b1)
+++ uspace/drv/char/ns8250/ns8250.c	(revision 1152705147c4ffcf626525e4a252d76925aee2dc)
@@ -40,5 +40,5 @@
 #include <stdio.h>
 #include <errno.h>
-#include <bool.h>
+#include <stdbool.h>
 #include <fibril_synch.h>
 #include <stdlib.h>
Index: uspace/drv/char/ps2mouse/ps2mouse.c
===================================================================
--- uspace/drv/char/ps2mouse/ps2mouse.c	(revision 1ae74c6cce175c398f5c387eb9c2127110cca7b1)
+++ uspace/drv/char/ps2mouse/ps2mouse.c	(revision 1152705147c4ffcf626525e4a252d76925aee2dc)
@@ -33,5 +33,5 @@
  */
 
-#include <bool.h>
+#include <stdbool.h>
 #include <errno.h>
 #include <ddf/log.h>