1 # SPDX-License-Identifier: GPL-2.0-or-later
3 if BOARD_EMULATION_QEMU_SBSA
5 config BOARD_SPECIFIC_OPTIONS
7 select ARCH_BOOTBLOCK_ARMV8_64
8 select ARCH_VERSTAGE_ARMV8_64
9 select ARCH_ROMSTAGE_ARMV8_64
10 select ARCH_RAMSTAGE_ARMV8_64
11 select ARM64_USE_ARCH_TIMER
12 select BOARD_ROMSIZE_KB_32768
13 select BOOTBLOCK_CUSTOM
14 select BOOT_DEVICE_NOT_SPI_FLASH
15 select DRIVERS_UART_PL011
16 select FLATTENED_DEVICE_TREE
17 select HAVE_LINEAR_FRAMEBUFFER
18 select MAINBOARD_FORCE_NATIVE_VGA_INIT
19 select MAINBOARD_HAS_NATIVE_VGA_INIT
20 select MISSING_BOARD_RESET
22 select HAVE_ACPI_TABLES
24 select ACPI_COMMON_MADT_GICC_V3
25 select GENERATE_SMBIOS_TABLES
27 config ARM64_CURRENT_EL
30 config ECAM_MMCONF_BASE_ADDRESS
33 config ECAM_MMCONF_BUS_NUMBER
37 default "src/mainboard/emulation/qemu-sbsa/flash.fmd"
40 default "emulation/qemu-sbsa"
42 config MAINBOARD_PART_NUMBER
48 config MAINBOARD_VENDOR
53 default 8388608 # The maximum dram size is 8192GiB.
55 endif # BOARD_EMULATION_QEMU_SBSA