blob: 8632ef67c2a42df2529447b3d8f04a9919c11d5f [file] [log] [blame]
Gerd Hoffmann00cc7f432013-06-07 15:46:23 +02001if BOARD_EMULATION_QEMU_X86_I440FX
Jens Rottmann9a684fc2010-08-30 16:36:51 +00002
Elyes HAOUASf0c5be22018-11-27 20:36:44 +01003config BOARD_SPECIFIC_OPTIONS
Jens Rottmann9a684fc2010-08-30 16:36:51 +00004 def_bool y
Gerd Hoffmannaa588e02013-05-31 09:26:55 +02005 select CPU_QEMU_X86
Kyösti Mälkki3d15e102016-11-29 16:46:56 +02006 select NO_MMCONF_SUPPORT
Patrick Georgi892b0912009-09-24 09:03:06 +00007 select SOUTHBRIDGE_INTEL_I82371EB
Edwin Beasanteb50c7d2010-07-06 21:05:04 +00008 select HAVE_OPTION_TABLE
Antonello Dettori7378d922016-08-17 22:38:17 +02009 select HAVE_CMOS_DEFAULT
Myles Watsonb8e20272009-10-15 13:35:47 +000010 select HAVE_PIRQ_TABLE
Stefan Reinauer597ff872013-01-07 13:21:22 -080011 select HAVE_ACPI_TABLES
Patrick Rudolphf8251b92019-09-13 12:56:14 +020012 select BOARD_ROMSIZE_KB_256 if !VBOOT
13 select BOARD_ROMSIZE_KB_16384 if VBOOT
Gerd Hoffmann414b9472013-06-18 23:41:21 +020014 select MAINBOARD_HAS_NATIVE_VGA_INIT
Nico Huber26ce9af2017-05-22 13:22:09 +020015 select MAINBOARD_FORCE_NATIVE_VGA_INIT
Patrick Georgi892b0912009-09-24 09:03:06 +000016
Patrick Rudolphf8251b92019-09-13 12:56:14 +020017config VBOOT
18 select VBOOT_MUST_REQUEST_DISPLAY
19 select VBOOT_STARTS_IN_BOOTBLOCK
20 select VBOOT_SEPARATE_VERSTAGE
21 select VBOOT_VBNV_CMOS
22 select VBOOT_NO_BOARD_SUPPORT
23 select GBB_FLAG_DISABLE_LID_SHUTDOWN
24 select GBB_FLAG_DISABLE_PD_SOFTWARE_SYNC
25 select GBB_FLAG_DISABLE_EC_SOFTWARE_SYNC
26 select GBB_FLAG_DISABLE_FWMP
27
Patrick Rudolph9764bc12019-11-10 16:48:23 +010028if VBOOT
29
Patrick Rudolphf8251b92019-09-13 12:56:14 +020030config VBOOT_SLOTS_RW_A
31 default y
32
Patrick Rudolph9764bc12019-11-10 16:48:23 +010033endif
34
Patrick Rudolphf8251b92019-09-13 12:56:14 +020035config FMDFILE
36 string
37 default "src/mainboard/$(CONFIG_MAINBOARD_DIR)/vboot-rwa-16M.fmd" if VBOOT_SLOTS_RW_A
38
39config VBOOT_VBNV_OFFSET
40 hex
41 default 0x2c
42
Patrick Georgi892b0912009-09-24 09:03:06 +000043config MAINBOARD_DIR
44 string
Gerd Hoffmann00cc7f432013-06-07 15:46:23 +020045 default emulation/qemu-i440fx
Patrick Georgi892b0912009-09-24 09:03:06 +000046
47config MAINBOARD_PART_NUMBER
48 string
Gerd Hoffmann00cc7f432013-06-07 15:46:23 +020049 default "QEMU x86 i440fx/piix4"
Patrick Georgi0e9a9252009-10-06 20:48:07 +000050
51config IRQ_SLOT_COUNT
52 int
53 default 6
Jens Rottmann9a684fc2010-08-30 16:36:51 +000054
Patrick Rudolph1af89232018-11-11 12:50:51 +010055# Skip the first 64KiB as coreboot table pointer is installed
56# at address 0
Stefan Reinauer597ff872013-01-07 13:21:22 -080057config DCACHE_RAM_BASE
58 hex
Patrick Rudolph1af89232018-11-11 12:50:51 +010059 default 0x10000
Stefan Reinauer597ff872013-01-07 13:21:22 -080060
Patrick Rudolph1af89232018-11-11 12:50:51 +010061# Memory at 0xa0000 decodes to VGA
Stefan Reinauer597ff872013-01-07 13:21:22 -080062config DCACHE_RAM_SIZE
63 hex
Patrick Rudolph1af89232018-11-11 12:50:51 +010064 default 0x90000
65
66config C_ENV_BOOTBLOCK_SIZE
67 hex
68 default 0x4000
Stefan Reinauer597ff872013-01-07 13:21:22 -080069
Patrick Rudolphd72d52a2018-11-12 19:26:54 +010070config DCACHE_BSP_STACK_SIZE
71 hex
72 default 0x4000
73
Daniele Forsib8e96ed2014-07-29 12:13:12 +020074endif # BOARD_EMULATION_QEMU_X86_I440FX