coreboot-kgpe-d16/src/arch/i386/Kconfig

# This option is used to set the architecture of a mainboard to X86.
# It is usually set in mainboard/*/Kconfig.
config ARCH_X86
	bool
	default n

# This is an SMP option. It relates to starting up APs.
# It is usually set in mainboard/*/Kconfig.
# TODO: Improve description.
config AP_IN_SIPI_WAIT
	bool
	default n
	depends on ARCH_X86

# This is the name of the respective architecture subdirectory in arch/.
config ARCH
	string
	default i386
	depends on ARCH_X86

config ROMBASE
	hex
	default 0xffc00000 if COREBOOT_ROMSIZE_KB_4096
	default 0xffe00000 if COREBOOT_ROMSIZE_KB_2048
	default 0xfff00000 if COREBOOT_ROMSIZE_KB_1024
	default 0xfff80000 if COREBOOT_ROMSIZE_KB_512
	default 0xfffc0000 if COREBOOT_ROMSIZE_KB_256
	default 0xfffe0000 if COREBOOT_ROMSIZE_KB_128

config ROM_IMAGE_SIZE
	hex
	default 0x400000 if COREBOOT_ROMSIZE_KB_4096
	default 0x200000 if COREBOOT_ROMSIZE_KB_2048
	default 0x100000 if COREBOOT_ROMSIZE_KB_1024
	default 0x80000 if COREBOOT_ROMSIZE_KB_512
	default 0x40000 if COREBOOT_ROMSIZE_KB_256
	default 0x20000 if COREBOOT_ROMSIZE_KB_128

config RAMBASE
	hex
	default 0x100000

config STACK_SIZE
	hex
	default 0x8000

# Maximum reboot count
# TODO: Improve description.
config MAX_REBOOT_CNT
	int
	default 3