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

diff --git a/palacios/src/palacios/vmx.c b/palacios/src/palacios/vmx.c
index daf8eee..23d631a 100644
--- a/palacios/src/palacios/vmx.c
+++ b/palacios/src/palacios/vmx.c
@@ -1198,6 +1198,13 @@ int v3_start_vmx_guest(struct guest_info * info) {
 
     PrintDebug(info->vm_info, info, "Starting VMX core %u\n", info->vcpu_id);
 
+#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");