diff --git a/src/system/kernel/device_manager/device_manager.cpp b/src/system/kernel/device_manager/device_manager.cpp
index 96e88cd387..68e6b9c003 100644
--- a/src/system/kernel/device_manager/device_manager.cpp
+++ b/src/system/kernel/device_manager/device_manager.cpp
@@ -7,7 +7,6 @@
 #include <kdevice_manager.h>
 
 #include <new>
-#include <set>
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>