X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmx.c;h=23d631a79f1c61a088c091f1945fad007b6479fd;hb=3650bf4aaa4f83afae52c8fee98fce6e3ee68deb;hp=f0823b4cfe5c6d099fd8950fe8351985aefc4487;hpb=60ad6a41c6d0ee08ed689e8505eb0c3df0c2a289;p=palacios.git

diff --git a/palacios/src/palacios/vmx.c b/palacios/src/palacios/vmx.c
index f0823b4..23d631a 100644
--- a/palacios/src/palacios/vmx.c
+++ b/palacios/src/palacios/vmx.c
@@ -1198,9 +1198,16 @@ int v3_start_vmx_guest(struct guest_info * info) {
 
     PrintDebug(info->vm_info, info, "Starting VMX core %u\n", info->vcpu_id);
 
-#if V3_CONFIG_HVM
-    if (v3_setup_hvm_vm_for_boot(vm)) { 
-	PrintError(vm, VCORE_NONE, "HVM setup for boot failed\n");
+#ifdef V3_CONFIG_MULTIBOOT
+    if (v3_setup_multiboot_core_for_boot(info)) { 
+	PrintError(info->vm_info, info, "Failed to setup Multiboot core...\n");
+	return -1;
+    }
+#endif
+
+#ifdef V3_CONFIG_HVM
+    if (v3_setup_hvm_hrt_core_for_boot(info)) { 
+	PrintError(info->vm_info, info, "Failed to setup HRT core...\n");
 	return -1;
     }
 #endif