X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=90118eb297709e14b21c979ab6a184ff0257cb2f;hp=0a53a7f5bb435bea5599a37cdb80f3ff0ef016bd;hb=5bf6d0c260240e314876a2fca8e3fd56bd6a1029;hpb=3373500a962dba67f09d120d7db3c2ea1d4beee2

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index 0a53a7f..90118eb 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -135,7 +135,7 @@ int v3_start_vm(struct guest_info * info, unsigned int cpu_mask) {
 	    return v3_start_svm_guest(info);
 	    break;
 #endif
-#if CONFIG_VMX && 0
+#if CONFIG_VMX
 	case V3_VMX_CPU:
 	case V3_VMX_EPT_CPU:
 	    return v3_start_vmx_guest(info);