X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;fp=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=855b11cf6bbd8cb7eae999cd4a8eb106b4593ffd;hp=54207595bd92fa6fc22f3580fc1809285dfddade;hb=539b0d4741f477f0d94205fea9ae9c15b88367a1;hpb=1fc062adedda3f93f7f95395257a808c7b531fc9

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index 5420759..855b11c 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -317,6 +317,7 @@ int v3_start_vm(struct v3_vm_info * vm, unsigned int cpu_mask) {
 	PrintDebug("run: core=%u, func=0x%p, arg=0x%p, name=%s\n",
 		   core_idx, start_core, core, core->exec_name);
 
+	core->core_run_state = CORE_STOPPED;  // core zero will turn itself on
 	core->pcpu_id = core_idx;
 	core->core_thread = V3_CREATE_THREAD_ON_CPU(core_idx, start_core, core, core->exec_name);