bugfix: argc count for the CPU parameter was not increased by 4 to

handle the additional arguments.

diff --git a/usr/kaluga/start_cpu.c b/usr/kaluga/start_cpu.c
index 28e76d1..cfee208 100644 (file)
--- a/usr/kaluga/start_cpu.c
+++ b/usr/kaluga/start_cpu.c
@@ -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);