Index: uspace/lib/c/include/device/hw_res.h
===================================================================
--- uspace/lib/c/include/device/hw_res.h	(revision 3322d95e29bc0129633971c3a72532ca5f76ae29)
+++ uspace/lib/c/include/device/hw_res.h	(revision f288d85e3e9c267eea05c097de761199f08ce773)
@@ -38,5 +38,5 @@
 #include <ipc/dev_iface.h>
 #include <async.h>
-#include <bool.h>
+#include <stdbool.h>
 
 #define DMA_MODE_ON_DEMAND  0