Index: kernel/arch/riscv64/src/userspace.c
===================================================================
--- kernel/arch/riscv64/src/userspace.c	(revision 83dab11c929c1a48613d4dc70ed8ca9113463484)
+++ kernel/arch/riscv64/src/userspace.c	(revision 98a38791c78a67662e1d752dd4c6ac2ce413c18f)
@@ -34,5 +34,4 @@
 
 #include <abi/proc/uarg.h>
-#include <stdbool.h>
 #include <userspace.h>