*/
#include <palacios/vmm.h>
-#include <palacios/svm.h>
-#include <palacios/vmx.h>
#include <palacios/vmm_intr.h>
#include <palacios/vmm_config.h>
#include <palacios/vm_guest.h>
#include <palacios/vmm_ctrl_regs.h>
#include <palacios/vmm_lowlevel.h>
-
+#ifdef CONFIG_SVM
+#include <palacios/svm.h>
+#endif
+#ifdef CONFIG_VMX
+#include <palacios/vmx.h>
+#endif
v3_cpu_arch_t v3_cpu_type;
vmm_ops->allocate_guest = &allocate_guest;
+#ifdef CONFIG_SVM
if (v3_is_svm_capable()) {
PrintDebug("Machine is SVM Capable\n");
v3_init_SVM(vmm_ops);
- } else if (v3_is_vmx_capable()) {
- PrintDebug("Machine is VMX Capable\n");
- v3_init_vmx(vmm_ops);
- } else {
- PrintDebug("CPU has no virtualization Extensions\n");
+
+ } else
+#endif
+#ifdef CONFIG_VMX
+ if (v3_is_vmx_capable()) {
+ PrintDebug("Machine is VMX Capable\n");
+ v3_init_vmx(vmm_ops);
+
+ } else
+#endif
+ {
+ PrintError("CPU has no virtualization Extensions\n");
}
}
V3_Yield();
rdtscll(info->yield_start_cycle);
}
+
+