#
# Automatically generated make config: don't edit
# SeaBIOS Configuration
-# Wed Mar 14 18:51:09 2012
+# Thu Jun 18 16:39:59 2015
#
#
#
# CONFIG_COREBOOT is not set
# CONFIG_XEN is not set
+CONFIG_PALACIOS=y
# CONFIG_THREADS is not set
CONFIG_RELOCATE_INIT=y
CONFIG_BOOTMENU=y
-CONFIG_BOOTSPLASH=y
+# CONFIG_BOOTSPLASH is not set
CONFIG_BOOTORDER=y
#
CONFIG_ATA_PIO32=y
# CONFIG_AHCI is not set
CONFIG_VIRTIO_BLK=y
-CONFIG_FLOPPY=y
+# CONFIG_FLOPPY is not set
CONFIG_PS2PORT=y
-CONFIG_USB=y
-CONFIG_USB_UHCI=y
-CONFIG_USB_OHCI=y
-CONFIG_USB_EHCI=y
-CONFIG_USB_MSC=y
-CONFIG_USB_HUB=y
-CONFIG_USB_KEYBOARD=y
-CONFIG_USB_MOUSE=y
+# CONFIG_USB is not set
CONFIG_SERIAL=y
CONFIG_LPT=y
-CONFIG_USE_SMM=y
+# CONFIG_USE_SMM is not set
# CONFIG_MTRR_INIT is not set
#
CONFIG_CDROM_BOOT=y
CONFIG_CDROM_EMU=y
CONFIG_PCIBIOS=y
-CONFIG_APMBIOS=y
-CONFIG_PNPBIOS=y
+# CONFIG_APMBIOS is not set
+# CONFIG_PNPBIOS is not set
CONFIG_OPTIONROMS=y
CONFIG_OPTIONROMS_DEPLOYED=y
CONFIG_PMM=y
CONFIG_KEYBOARD=y
CONFIG_KBD_CALL_INT15_4F=y
CONFIG_MOUSE=y
-CONFIG_S3_RESUME=y
+# CONFIG_S3_RESUME is not set
# CONFIG_DISABLE_A20 is not set
#
#
# Automatically generated make config: don't edit
# SeaBIOS Configuration
-# Wed Mar 14 18:51:09 2012
+# Thu Jun 18 16:39:59 2015
#
#
#
# CONFIG_COREBOOT is not set
# CONFIG_XEN is not set
+CONFIG_PALACIOS=y
# CONFIG_THREADS is not set
CONFIG_RELOCATE_INIT=y
CONFIG_BOOTMENU=y
-CONFIG_BOOTSPLASH=y
+# CONFIG_BOOTSPLASH is not set
CONFIG_BOOTORDER=y
#
CONFIG_ATA_PIO32=y
# CONFIG_AHCI is not set
CONFIG_VIRTIO_BLK=y
-CONFIG_FLOPPY=y
+# CONFIG_FLOPPY is not set
CONFIG_PS2PORT=y
-CONFIG_USB=y
-CONFIG_USB_UHCI=y
-CONFIG_USB_OHCI=y
-CONFIG_USB_EHCI=y
-CONFIG_USB_MSC=y
-CONFIG_USB_HUB=y
-CONFIG_USB_KEYBOARD=y
-CONFIG_USB_MOUSE=y
+# CONFIG_USB is not set
CONFIG_SERIAL=y
CONFIG_LPT=y
-CONFIG_USE_SMM=y
+# CONFIG_USE_SMM is not set
# CONFIG_MTRR_INIT is not set
#
CONFIG_CDROM_BOOT=y
CONFIG_CDROM_EMU=y
CONFIG_PCIBIOS=y
-CONFIG_APMBIOS=y
-CONFIG_PNPBIOS=y
+# CONFIG_APMBIOS is not set
+# CONFIG_PNPBIOS is not set
CONFIG_OPTIONROMS=y
CONFIG_OPTIONROMS_DEPLOYED=y
CONFIG_PMM=y
CONFIG_KEYBOARD=y
CONFIG_KBD_CALL_INT15_4F=y
CONFIG_MOUSE=y
-CONFIG_S3_RESUME=y
+# CONFIG_S3_RESUME is not set
# CONFIG_DISABLE_A20 is not set
#
menu "General Features"
+ choice
+ prompt "Target"
+ default PALACIOS
+
config COREBOOT
bool "Build for coreboot"
- default n
help
Configure as a coreboot payload.
config XEN
- depends on !COREBOOT
bool "Build for Xen HVM"
- default n
help
Configure to be used by xen hvmloader, for a HVM guest.
+ config PALACIOS
+ bool "Build for Palacios VMM"
+ help
+ Configure to be used by the Palacios VMM for a regular or ROS guest
+
+ endchoice
+
config THREADS
bool "Parallelize hardware init"
default y
dprintf(1, "Attempting a hard reboot\n");
// Setup for reset on qemu.
- if (! CONFIG_COREBOOT) {
+ if (! CONFIG_COREBOOT && !CONFIG_PALACIOS) {
qemu_prep_reset();
if (HaveRunPost)
apm_shutdown();
}
+ HaveRunPost=0;
+
+ dprintf(1,"Attempting i8042 reboot\n");
+
// Try keyboard controller reboot.
i8042_reboot();
+ dprintf(1,"Attempting PCI reboot\n");
+
// Try PCI 0xcf9 reboot
pci_reboot();
+ dprintf(1,"Attempting int3 reboot\n");
+
// Try triple fault
asm volatile("int3");
ORG 0xe05b
entry_post:
cmpl $0, %cs:HaveRunPost // Check for resume/reboot
- jnz entry_resume
+
+ // Do not attempt a resume on Palacios
+ // jnz entry_resume
ENTRY_INTO32 _cfunc32flat_handle_post // Normal entry point
ORG 0xe2c3