static int pre_config_pc_core(struct guest_info * info, v3_cfg_tree_t * cfg) {
-
- info->cpu_mode = REAL;
info->mem_mode = PHYSICAL_MEM;
memcpy(rombios_dst, v3_rombios_start, v3_rombios_end - v3_rombios_start);
}
+
+ if (vm->num_cores>1 && !v3_find_dev(vm,"apic")) {
+ PrintError("palacios: VM has more than one core, but no device named \"apic\"!\n");
+ return -1;
+ }
+
+ if (v3_find_dev(vm,"apic")) {
+ if (!v3_find_dev(vm,"ioapic")) {
+ PrintError("palacios: VM cores have apics, but there is no device named \"ioapic\"!\n");
+ }
+ if (v3_inject_mptable(vm) == -1) {
+ PrintError("Failed to inject mptable during configuration\n");
+ return -1;
+ }
+ }
+
return 0;
}