kaluga: remove debug printf
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 10 Nov 2016 10:46:21 +0000 (11:46 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 10 Nov 2016 10:46:21 +0000 (11:46 +0100)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

usr/kaluga/start_cpu.c

index ae20d12..8485198 100644 (file)
@@ -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));
         }