bugfix: argc count for the CPU parameter was not increased by 4 to
authorReto Achermann <reto.achermann@inf.ethz.ch>
Thu, 27 Nov 2014 11:46:28 +0000 (12:46 +0100)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Thu, 27 Nov 2014 11:46:28 +0000 (12:46 +0100)
handle the additional arguments.

usr/kaluga/start_cpu.c

index 28e76d1..cfee208 100644 (file)
@@ -105,7 +105,7 @@ errval_t start_boot_driver(coreid_t where, struct module_info* mi,
             return SYS_ERR_OK;
         }
 
-        argv = malloc((argc+1) * sizeof(char *));
+        argv = malloc((argc+4) * sizeof(char *));
         memcpy(argv, mi->argv, argc * sizeof(char *));
         snprintf(barrelfish_id_s, 10, "%"PRIu64"", barrelfish_id);