diff --git a/src/kernel/core/disk_device_manager/KDiskSystem.cpp b/src/kernel/core/disk_device_manager/KDiskSystem.cpp
index cffaf6b8fe..65f22e9944 100644
--- a/src/kernel/core/disk_device_manager/KDiskSystem.cpp
+++ b/src/kernel/core/disk_device_manager/KDiskSystem.cpp
@@ -3,6 +3,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 
+#include <KernelExport.h>
 #include <util/kernel_cpp.h>
 
 #include "ddm_userland_interface.h"