diff --git a/src/system/kernel/device_manager/id_generator.cpp b/src/system/kernel/device_manager/id_generator.cpp
index 29904a7fb7..dcb5bd75ed 100644
--- a/src/system/kernel/device_manager/id_generator.cpp
+++ b/src/system/kernel/device_manager/id_generator.cpp
@@ -66,7 +66,7 @@ struct id_generator : DoublyLinkedListLinkImpl<id_generator> {
 typedef DoublyLinkedList<id_generator> GeneratorList;
 
 
-GeneratorList sGenerators;
+static GeneratorList sGenerators;
 static mutex sLock = MUTEX_INITIALIZER("id generator");