diff --git a/src/kernel/core/disk_device_manager/KDiskSystem.cpp b/src/kernel/core/disk_device_manager/KDiskSystem.cpp
index 099fa46535..b83dde81ae 100644
--- a/src/kernel/core/disk_device_manager/KDiskSystem.cpp
+++ b/src/kernel/core/disk_device_manager/KDiskSystem.cpp
@@ -1,11 +1,17 @@
 // KDiskSystem.cpp
 
+#include <stdio.h>
 #include <stdlib.h>
 
 #include "KDiskDeviceManager.h"
 #include "KDiskDeviceUtils.h"
 #include "KDiskSystem.h"
 
+// debugging
+//#define DBG(x)
+#define DBG(x) x
+#define OUT printf
+
 // constructor
 KDiskSystem::KDiskSystem(const char *name)
 	: fID(_NextID()),