Merge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish
[barrelfish] / usr / kaluga / start_cpu.c
index 5f66699..063d33f 100644 (file)
@@ -67,7 +67,6 @@ static void cpu_change_event(octopus_mode_t mode, char* record, void* state)
 
 out:
     assert(!(mode & OCT_REMOVED));
-    free(record);
 }
 
 errval_t watch_for_cores(void)
@@ -210,7 +209,6 @@ errval_t wait_for_all_spawnds(void)
     KALUGA_DEBUG("Waiting for acpi");
     char* record = NULL;
     errval_t err = oct_wait_for(&record, "acpi { iref: _ }");
-    free(record);
     if (err_is_fail(err)) {
         return err_push(err, KALUGA_ERR_WAITING_FOR_ACPI);
     }