#include "qom/cpu.h"
#include "hw/nmi.h"
+#include "sysemu/hax.h"
+
/* debug PC/ISA interrupts */
//#define DEBUG_IRQ
if (!f || !(kernel_size = get_file_size(f)) ||
fread(header, 1, MIN(ARRAY_SIZE(header), kernel_size), f) !=
MIN(ARRAY_SIZE(header), kernel_size)) {
- fprintf(stderr, "qemu: could not load kernel '%s': %s\n",
+// CONFIG_MARU MODIFICATION
+// fprintf(stderr, "qemu: could not load kernel '%s': %s\n",
+// kernel_filename, strerror(errno));
+ error_report("qemu: could not load kernel '%s': %s\n",
kernel_filename, strerror(errno));
+
exit(1);
}
smm_available = true;
} else if (kvm_enabled()) {
smm_available = kvm_has_smm();
+ } else if (hax_enabled()) {
+ smm_available = false;
}
if (smm_available) {