mirror of
https://github.com/brain-hackers/u-boot-brain
synced 2024-07-06 03:06:16 +09:00
e93626521a
The QEMU/mach-virt targeted port of u-boot currently only runs on QEMU under TCG emulation, which does not model the caches at all, and so no users can exist that are relying on the GRUB hack for EFI boot. We will shortly enable support for running under KVM, but the GRUB hack (which disables all caches without doing cache cleaning by VA during ExitBootServices()) is likely to cause more problems than it solves, given that KVM hosts require correct maintenance if they incorporate non-architected system caches. So let's disable the GRUB hack by default on the QEMU/mach-virt port. Signed-off-by: Ard Biesheuvel <ardb@kernel.org> Reviewed-by: Heinrich Schuchardt <xypron.glpk@gmx.de>
51 lines
1.1 KiB
Plaintext
51 lines
1.1 KiB
Plaintext
CONFIG_ARM=y
|
|
CONFIG_ARM_SMCCC=y
|
|
CONFIG_ARMV7_LPAE=y
|
|
CONFIG_ARCH_QEMU=y
|
|
CONFIG_ENV_SIZE=0x40000
|
|
CONFIG_ENV_SECT_SIZE=0x40000
|
|
CONFIG_TARGET_QEMU_ARM_32BIT=y
|
|
CONFIG_NR_DRAM_BANKS=1
|
|
CONFIG_AHCI=y
|
|
CONFIG_DISTRO_DEFAULTS=y
|
|
CONFIG_FIT=y
|
|
CONFIG_FIT_SIGNATURE=y
|
|
CONFIG_FIT_VERBOSE=y
|
|
CONFIG_FIT_BEST_MATCH=y
|
|
CONFIG_LEGACY_IMAGE_FORMAT=y
|
|
# CONFIG_DISPLAY_CPUINFO is not set
|
|
# CONFIG_DISPLAY_BOARDINFO is not set
|
|
CONFIG_PCI_INIT_R=y
|
|
CONFIG_CMD_BOOTEFI_SELFTEST=y
|
|
CONFIG_CMD_NVEDIT_EFI=y
|
|
CONFIG_CMD_PCI=y
|
|
CONFIG_CMD_USB=y
|
|
CONFIG_OF_BOARD=y
|
|
CONFIG_ENV_IS_IN_FLASH=y
|
|
CONFIG_ENV_ADDR=0x4000000
|
|
CONFIG_SCSI_AHCI=y
|
|
CONFIG_AHCI_PCI=y
|
|
CONFIG_BLK=y
|
|
# CONFIG_MMC is not set
|
|
CONFIG_DM_MTD=y
|
|
CONFIG_MTD_NOR_FLASH=y
|
|
CONFIG_FLASH_CFI_DRIVER=y
|
|
CONFIG_CFI_FLASH=y
|
|
CONFIG_SYS_FLASH_USE_BUFFER_WRITE=y
|
|
CONFIG_SYS_FLASH_CFI=y
|
|
CONFIG_DM_ETH=y
|
|
CONFIG_E1000=y
|
|
CONFIG_NVME=y
|
|
CONFIG_PCI=y
|
|
CONFIG_DM_PCI=y
|
|
CONFIG_PCIE_ECAM_GENERIC=y
|
|
CONFIG_SCSI=y
|
|
CONFIG_DM_SCSI=y
|
|
CONFIG_SYSRESET=y
|
|
CONFIG_SYSRESET_PSCI=y
|
|
CONFIG_USB=y
|
|
CONFIG_DM_USB=y
|
|
CONFIG_USB_EHCI_HCD=y
|
|
CONFIG_USB_EHCI_PCI=y
|
|
# CONFIG_EFI_GRUB_ARM32_WORKAROUND is not set
|