From: Simon Gerber <simon.gerber@inf.ethz.ch>
Date: Thu, 10 Nov 2016 10:46:21 +0000 (+0100)
Subject: kaluga: remove debug printf
X-Git-Tag: release2017-03-08~172
X-Git-Url: http://git.barrelfish.org/?p=barrelfish;a=commitdiff_plain;h=31f1bd8cececbc752c07a21548a9436d25867869

kaluga: remove debug printf

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
---

diff --git a/usr/kaluga/start_cpu.c b/usr/kaluga/start_cpu.c
index ae20d12..8485198 100644
--- a/usr/kaluga/start_cpu.c
+++ b/usr/kaluga/start_cpu.c
@@ -240,7 +240,6 @@ static void spawnd_change_event(octopus_mode_t mode, char* record, void* state)
 
         if (spawnd_counter == count) {
             KALUGA_DEBUG("Found enough spawnds, setting all_spawnds_up\n");
-            debug_printf("Found enough spawnds, setting all_spawnds_up\n");
             errval_t err = oct_set("all_spawnds_up { iref: 0 }");
             assert(err_is_ok(err));
         }