summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--kern/condition.c1
-rw-r--r--kern/mutex.c1
2 files changed, 2 insertions, 0 deletions
diff --git a/kern/condition.c b/kern/condition.c
index bcd5ba42..7440fa36 100644
--- a/kern/condition.c
+++ b/kern/condition.c
@@ -18,6 +18,7 @@
* Locking order : mutex -> sleep queue
*/
+#include <stdbool.h>
#include <stddef.h>
#include <kern/assert.h>
diff --git a/kern/mutex.c b/kern/mutex.c
index 6a1af208..b193aedb 100644
--- a/kern/mutex.c
+++ b/kern/mutex.c
@@ -17,6 +17,7 @@
#ifndef X15_MUTEX_PI
+#include <stdbool.h>
#include <stddef.h>
#include <kern/mutex.h>