1## SPDX-License-Identifier: GPL-2.0-only 2 3if BOARD_EMULATION_QEMU_X86_I440FX 4 5config BOARD_SPECIFIC_OPTIONS 6 def_bool y 7 select CPU_QEMU_X86 8 select NO_ECAM_MMCONF_SUPPORT 9 select SOUTHBRIDGE_INTEL_I82371EB 10 select HAVE_OPTION_TABLE 11 select HAVE_CMOS_DEFAULT 12 select HAVE_PIRQ_TABLE 13 select HAVE_ACPI_TABLES 14 select BOARD_ROMSIZE_KB_4096 if !VBOOT 15 select BOARD_ROMSIZE_KB_16384 if VBOOT 16 select MAINBOARD_HAS_NATIVE_VGA_INIT 17 select MAINBOARD_FORCE_NATIVE_VGA_INIT 18 select HAVE_ASAN_IN_ROMSTAGE 19 select NO_SMM 20 select BOOT_DEVICE_NOT_SPI_FLASH 21 select BOOT_DEVICE_MEMORY_MAPPED 22 23config VBOOT 24 select VBOOT_MUST_REQUEST_DISPLAY 25 select VBOOT_STARTS_IN_BOOTBLOCK 26 select VBOOT_VBNV_CMOS 27 select GBB_FLAG_DISABLE_LID_SHUTDOWN 28 select GBB_FLAG_DISABLE_PD_SOFTWARE_SYNC 29 select GBB_FLAG_DISABLE_EC_SOFTWARE_SYNC 30 select GBB_FLAG_DISABLE_FWMP 31 32if ARCH_BOOTBLOCK_X86_64 33 34config PAGE_TABLES_IN_CBFS 35 bool 36 default y 37 38# Need to install page tables in DRAM as the virtual MMU has problems translating paging 39# request when the page table resides in emulated ROM. This causes undefined behaviour 40# when handling data requests, as well as fetching and decoding instructions 41# Real hardware didn't show any problems until now. 42config ARCH_X86_64_PGTBL_LOC 43 default 0x8000 44endif 45 46if VBOOT 47 48config VBOOT_SLOTS_RW_A 49 default y 50 51endif 52 53config FMDFILE 54 default "src/mainboard/\$(CONFIG_MAINBOARD_DIR)/vboot-rwa-16M.fmd" if VBOOT_SLOTS_RW_A 55 56config VBOOT_VBNV_OFFSET 57 hex 58 default 0x2c 59 60config MAINBOARD_DIR 61 default "emulation/qemu-i440fx" 62 63config MAINBOARD_PART_NUMBER 64 default "QEMU x86 i440fx/piix4" 65 66config IRQ_SLOT_COUNT 67 int 68 default 6 69 70# Skip the first 64KiB as coreboot table pointer is installed 71# at address 0 72config DCACHE_RAM_BASE 73 hex 74 default 0x10000 75 76# Memory at 0xa0000 decodes to VGA 77config DCACHE_RAM_SIZE 78 hex 79 default 0x90000 80 81config C_ENV_BOOTBLOCK_SIZE 82 hex 83 default 0x10000 84 85config DCACHE_BSP_STACK_SIZE 86 hex 87 default 0x4000 88 89endif # BOARD_EMULATION_QEMU_X86_I440FX 90