X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=4ed2473e98e3da0491a4c583e231c4fa5e87eec1;hb=0782cca8e502a2dadde28b63d78a1a6c39bd2de1;hp=1510d7c996fdf16d990324a2d45883a168f18e43;hpb=b643c150f7a11149cc43ff40d96cfa9c6bbae111;p=palacios-OLD.git

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index 1510d7c..4ed2473 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -225,10 +225,23 @@ int v3_start_vm(struct v3_vm_info * vm, unsigned int cpu_mask) {
 
     // Finally launch the BSP on core 0
     sprintf(tname,"core%u",0);
+
+#if CONFIG_LINUX
+    if (vm->num_cores==1) { 
+	start_core(&(vm->cores[0]));
+	return -1;
+    } else {
+	if (!os_hooks->start_thread_on_cpu(0,start_core,&(vm->cores[0]),tname)) { 
+	    PrintError("Thread launch failed\n");
+	    return -1;
+	}
+    }
+#else
     if (!os_hooks->start_thread_on_cpu(0,start_core,&(vm->cores[0]),tname)) { 
 	PrintError("Thread launch failed\n");
 	return -1;
     }
+#endif
 
     return 0;