diff --git a/src/servers/registrar/Debug.h b/src/servers/registrar/Debug.h
index 487686f2ed..198722872e 100644
--- a/src/servers/registrar/Debug.h
+++ b/src/servers/registrar/Debug.h
@@ -10,7 +10,14 @@
 #endif
 
 #include <stdio.h>
-#define __out printf
+
+#include <OS.h>
+
+#ifdef DEBUG_PRINTF
+	#define __out DEBUG_PRINTF
+#else
+	#define __out printf
+#endif
 
 // Short overview over the debug output macros:
 //	PRINT()