blob: 832d0c04fa2e0638662b023055a7dd959bd63986 [file] [log] [blame]
# 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