X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvm_guest.c;h=ff5a35f46fd09f6433adcd72d8eec95e7fb10140;hb=65d6fc15c5a6bf951c578b8d45932a65fb1a0c63;hp=17b1be80636d7f570946432495b7fb93c82128e6;hpb=8a8e371fd9be4513214a0013063d87ecbc5582c1;p=palacios.git

diff --git a/palacios/src/palacios/vm_guest.c b/palacios/src/palacios/vm_guest.c
index 17b1be8..ff5a35f 100644
--- a/palacios/src/palacios/vm_guest.c
+++ b/palacios/src/palacios/vm_guest.c
@@ -28,7 +28,7 @@
 #include <palacios/vm_guest_mem.h>
 #include <palacios/vmm_lowlevel.h>
 #include <palacios/vmm_sprintf.h>
-
+#include <palacios/vmm_muxer.h>
 
 
 v3_cpu_mode_t v3_get_vm_cpu_mode(struct guest_info * info) {
@@ -404,6 +404,11 @@ static int info_hcall(struct guest_info * core, uint_t hcall_id, void * priv_dat
 int v3_init_vm(struct v3_vm_info * vm) {
     v3_cpu_arch_t cpu_type = v3_get_cpu_type(v3_get_cpu_id());
 
+
+    if (v3_get_foreground_vm() == NULL) {
+	v3_set_foreground_vm(vm);
+    }
+
 #ifdef CONFIG_TELEMETRY
     v3_init_telemetry(vm);
 #endif