# Kconfig - x86 core configuration options

#
# Copyright (c) 2014-2015 Wind River Systems, Inc.
#
# SPDX-License-Identifier: Apache-2.0
#

config NESTED_INTERRUPTS
	bool
	prompt "Enable nested interrupts"
	default y
	help
	This option enables support for nested interrupts.

config EXCEPTION_DEBUG
	bool
	prompt "Unhandled exception debugging"
	default y
	depends on PRINTK
	help
	Install handlers for various CPU exception/trap vectors to
	make debugging them easier, at a small expense in code size.
	This prints out the specific exception vector and any associated
	error codes.

menu "Memory Layout Options"

config IDT_NUM_VECTORS
	int
	prompt "Number of IDT vectors"
	default 256
	range 32 256
	help
	This option specifies the number of interrupt vector entries in the
	Interrupt Descriptor Table (IDT). By default all 256 vectors are
	supported in an IDT requiring 2048 bytes of memory.

config MAX_IRQ_LINES
	int
	prompt "Number of IRQ lines"
	default 128
	range 0 256
	help
	This option specifies the number of IRQ lines in the system.
	It can be tuned to save some bytes in ROM, as it determines the
	size of the _irq_to_interrupt_vector_table, which is used at runtime
	to program to the PIC the association between vectors and
	interrupts.

if !HAS_DTS
config PHYS_LOAD_ADDR
	hex "Physical load address"
	# Default value must be supplied by platform
	help
	This option specifies the physical address where the kernel is loaded.
endif

if !HAS_DTS
config PHYS_RAM_ADDR
	hex "Physical RAM address"
	# Default value must be supplied by platform
	help
	This option specifies the physical RAM address of the selected SoC.
endif

config RAM_SIZE
	int "Amount of RAM given to the kernel (in kB)"
	help
	This option specifies the amount of RAM given to the kernel. It must
	not exceed the amount available on the target.  When running an XIP
	kernel, it must be large enough to contain the data, bss and noinit
	sections.  When not running an XIP kernel, it must be large enough to
	contain the full image.

	The default value is specified by the board.

config ROM_SIZE
	int "Amount of ROM given to the kernel (in kB)" if XIP
	help
	This option specifies the amount of ROM given to the kernel. It must
	not exceed the amount available on the target.  It must also be large
	enough to contain the full image.

	The default value is specified by the board.

config SET_GDT
	bool
	prompt "Setup GDT as part of boot process"
	default y
	help
	This option sets up the GDT as part of the boot process. However,
	this may conflict with some security scenarios where the GDT is
	already appropriately set by an earlier bootloader stage, in which
	case this should be disabled. If disabled, the global _gdt pointer
	will not be available.

config GDT_DYNAMIC
	bool
	prompt "Store GDT in RAM so that it can be modified"
	depends on SET_GDT
	default n
	help
	This option stores the GDT in RAM instead of ROM, so that it may
	be modified at runtime at the expense of some memory.

endmenu