blob: 3f20474872deef7ca4c890ca305d93dc87d7d894 [file] [log] [blame]
# Kconfig - debug configuration options
#
# Copyright (c) 2015 Wind River Systems, Inc.
#
# SPDX-License-Identifier: Apache-2.0
#
menu "Safe memory access"
config MEM_SAFE
bool
prompt "Enable safe memory access"
default n
help
Add the routines available in mem_safe.h to the system. This is added
as a kconfig option instead of simply linking against the library
because some implementations might require initialization.
choice
prompt "Safe memory access implementation"
depends on MEM_SAFE
default MEM_SAFE_CHECK_BOUNDARIES
config MEM_SAFE_CHECK_BOUNDARIES
bool
prompt "Software validation of memory access within memory regions"
help
This implementation checks the application image's text/rodata
boundaries for its read-only region and the data/bss/noinit boundaries
for its read-write region, in software.
Other regions can be added as needed by using the
sys_mem_safe_region_add() API. The number of regions that can be added
is controlled via the MEM_SAFE_NUM_REGIONS kconfig option.
This implementation requires initialization and thus consumes some boot
time.
endchoice
config MEM_SAFE_NUM_EXTRA_REGIONS
int
prompt "Number of safe memory access regions to be added at runtime"
depends on MEM_SAFE_CHECK_BOUNDARIES
default 0
help
The functions available in mem_safe.h check if memory is within
read-only or read-write regions before accessing it instead of crashing.
The kernel image is added as a valid region automatically, but other
regions can be added if the application makes access to additional
memory outside of the image's boundaries.
endmenu
#
# Generic Debugging Options
#
config DEBUG_INFO
bool "Enable system debugging information"
default n
depends on X86 && !X86_IAMCU
help
This option enables the addition of various information that can be used
by debuggers in debugging the system.
NOTE: Does not currently work with the x86 IAMCU ABI.
#
# GDB Server options
#
config GDB_SERVER
bool
prompt "Enable GDB Server [EXPERIMENTAL]"
default n
select CACHE_FLUSHING
select REBOOT
select MEM_SAFE
select DEBUG_INFO
select UART_CONSOLE_DEBUG_SERVER_HOOKS
help
This option enables the GDB Server support.
config GDB_SERVER_MAX_SW_BP
int "Maximum number of GDB Server Software breakpoints"
default 100
depends on GDB_SERVER
help
This option specifies the maximum number of Software breakpoints
config GDB_SERVER_INTERRUPT_DRIVEN
bool
prompt "Enable GDB interrupt mode"
default y
depends on GDB_SERVER
select CONSOLE_HANDLER
help
This option enables interrupt support for GDB Server.
config GDB_REMOTE_SERIAL_EXT_NOTIF_PREFIX_STR
string
prompt "Trigger string for remote serial ext. via notifi. packets"
default "WrCons"
depends on GDB_SERVER
help
The value of this option depends on the string the GDB client use to
prefix the notification packets.
config GDB_SERVER_BOOTLOADER
bool
prompt "Enable the bootloader mode"
default n
depends on GDB_SERVER
help
This option enables the bootloader mode of the GDB Server.
#
# Miscellaneous debugging options
#
config OPENOCD_SUPPORT
bool
prompt "OpenOCD support [EXPERIMENTAL]"
default n
select THREAD_MONITOR
help
This option exports an array of offsets to kernel structs, used by
OpenOCD to determine the state of running threads. (This option
selects CONFIG_THREAD_MONITOR, so all of its caveats are implied.)