diff --git a/kernel/device.c b/kernel/device.c
index af517698b29..a7fa6aa1681 100644
--- a/kernel/device.c
+++ b/kernel/device.c
@@ -4,10 +4,8 @@
  * SPDX-License-Identifier: Apache-2.0
  */
 
-#include <errno.h>
 #include <string.h>
 #include <device.h>
-#include <sys/util.h>
 #include <sys/atomic.h>
 #include <syscall_handler.h>