2015-05-21 00:40:39 +08:00
|
|
|
# Kconfig - x86 core configuration options
|
|
|
|
|
|
|
|
|
|
#
|
|
|
|
|
# Copyright (c) 2014-2015 Wind River Systems, Inc.
|
|
|
|
|
#
|
2017-01-19 09:01:01 +08:00
|
|
|
# SPDX-License-Identifier: Apache-2.0
|
2015-05-21 00:40:39 +08:00
|
|
|
#
|
|
|
|
|
|
2015-03-13 06:15:28 +08:00
|
|
|
menu "x86 Core Options"
|
|
|
|
|
|
2015-10-20 03:08:43 +08:00
|
|
|
config NESTED_INTERRUPTS
|
2015-08-20 06:01:26 +08:00
|
|
|
bool
|
|
|
|
|
prompt "Enable nested interrupts"
|
2015-10-20 03:08:43 +08:00
|
|
|
default y
|
2015-08-20 06:01:26 +08:00
|
|
|
help
|
2015-10-20 03:08:43 +08:00
|
|
|
This option enables support for nested interrupts.
|
2015-08-20 06:01:26 +08:00
|
|
|
|
2015-10-09 03:42:11 +08:00
|
|
|
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.
|
2015-08-20 06:01:26 +08:00
|
|
|
|
2015-03-13 06:15:28 +08:00
|
|
|
menu "Memory Layout Options"
|
|
|
|
|
|
|
|
|
|
config IDT_NUM_VECTORS
|
|
|
|
|
int
|
|
|
|
|
prompt "Number of IDT vectors"
|
|
|
|
|
default 256
|
2015-09-29 05:43:53 +08:00
|
|
|
range 32 256
|
2015-03-13 06:15:28 +08:00
|
|
|
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.
|
|
|
|
|
|
2016-01-28 04:19:15 +08:00
|
|
|
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.
|
|
|
|
|
|
2015-03-13 06:15:28 +08:00
|
|
|
config PHYS_LOAD_ADDR
|
|
|
|
|
hex "Physical load address"
|
2015-07-28 00:19:36 +08:00
|
|
|
# Default value must be supplied by platform
|
2015-03-13 06:15:28 +08:00
|
|
|
help
|
|
|
|
|
This option specifies the physical address where the kernel is loaded.
|
|
|
|
|
|
2015-11-22 12:21:16 +08:00
|
|
|
config PHYS_RAM_ADDR
|
2016-05-25 07:17:13 +08:00
|
|
|
hex "Physical RAM address"
|
2015-11-22 12:21:16 +08:00
|
|
|
# Default value must be supplied by platform
|
2016-05-25 07:17:13 +08:00
|
|
|
help
|
|
|
|
|
This option specifies the physical RAM address of the selected SoC.
|
2015-11-22 12:21:16 +08:00
|
|
|
|
2015-11-30 09:20:42 +08:00
|
|
|
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.
|
|
|
|
|
|
2016-08-18 07:33:08 +08:00
|
|
|
The default value is specified by the board.
|
2015-11-30 09:20:42 +08:00
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
2016-08-18 07:33:08 +08:00
|
|
|
The default value is specified by the board.
|
2015-11-30 09:20:42 +08:00
|
|
|
|
2016-04-19 00:39:22 +08:00
|
|
|
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.
|
|
|
|
|
|
2016-01-28 02:50:25 +08:00
|
|
|
config GDT_DYNAMIC
|
|
|
|
|
bool
|
|
|
|
|
prompt "Store GDT in RAM so that it can be modified"
|
2016-04-19 00:39:22 +08:00
|
|
|
depends on SET_GDT
|
2016-01-28 02:50:25 +08:00
|
|
|
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.
|
|
|
|
|
|
2016-01-28 06:14:21 +08:00
|
|
|
config DEBUG_IRQS
|
|
|
|
|
bool
|
|
|
|
|
prompt "Extra interrupt debugging functionality"
|
|
|
|
|
default n
|
|
|
|
|
help
|
|
|
|
|
Enable additional debugging services for interrupts. May nontrivially
|
|
|
|
|
increase ROM size, so use only when you need it.
|
|
|
|
|
|
2015-03-13 06:15:28 +08:00
|
|
|
endmenu
|
|
|
|
|
|
|
|
|
|
endmenu
|
