1 if TARGET_QEMU_X86 || TARGET_QEMU_X86_64
12 config SYS_CONFIG_NAME
16 default 0xfff00000 if !EFI_STUB && !SUPPORT_SPL
17 default 0x01110000 if EFI_STUB || SUPPORT_SPL
19 config BOARD_SPECIFIC_OPTIONS # dummy
21 select X86_RESET_VECTOR if !EFI_STUB
23 select BOARD_ROMSIZE_KB_1024