--- include/os/rt_linux.h.orig	2011-01-07 11:20:02.000000000 +0100
+++ include/os/rt_linux.h	2011-01-07 11:21:30.000000000 +0100
@@ -611,10 +611,10 @@
 
 #define DBGPRINT_RAW(Level, Fmt)    \
 do{                                   \
-    if (Level <= RTDebugLevel)      \
+/*    if (Level <= RTDebugLevel)      \
     {                               \
         printk Fmt;               \
-    }                               \
+    }*/                               \
 }while(0)
 
 #define DBGPRINT(Level, Fmt)    DBGPRINT_RAW(Level, Fmt)