update

[l4.git] / kernel / fiasco / src / kern / kernel_thread-std.cpp

diff --git a/kernel/fiasco/src/kern/kernel_thread-std.cpp b/kernel/fiasco/src/kern/kernel_thread-std.cpp
index 86122cdf59fc18eec88afddb4ab22b51a87b10ef..5e5b6c4e9d5ecaa28f95acdfab95543455d7ccdf 100644 (file)
--- a/kernel/fiasco/src/kern/kernel_thread-std.cpp
+++ b/kernel/fiasco/src/kern/kernel_thread-std.cpp
@@ -57,7 +57,7 @@ Kernel_thread::init_workload()
       for (d=ctrl; d < ctrl+sizeof(ctrl)-1 && *s && *s != ' '; *d++ = *s++)
        ;
       *d = '\0';
-      printf("JDB: exec cmd '%s'\n", ctrl);
+
       kdb_ke_sequence(ctrl);
     }