X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=4c55dd66b8b5996ff76a6fa89a87e831aea15572;hp=1203427da7881cc8a5a96d2245512375e51ed8a5;hb=d34450b1e6fe3c2e1295c268c1722c669ba8d545;hpb=1a24d4e8fb3918a42b124777db5b41940150023e

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index 1203427..4c55dd6 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -62,9 +62,11 @@ void Init_V3(struct v3_os_hooks * hooks, struct v3_ctrl_ops * vmm_ops) {
     if (v3_is_svm_capable()) {
         PrintDebug("Machine is SVM Capable\n");
         v3_init_SVM(vmm_ops);
+#ifdef CONFIG_VMX
     } else if (v3_is_vmx_capable()) {
         PrintDebug("Machine is VMX Capable\n");
         v3_init_vmx(vmm_ops);
+#endif
     } else {
         PrintDebug("CPU has no virtualization Extensions\n");
     }