Ported palacios to Kbuild

[palacios.git] / palacios / src / palacios / vmm.c

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index 1203427..4c55dd6 100644 (file)
--- 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");
     }