| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546 |
- # Shell configuration options
- # Copyright (c) 2016 Intel Corporation
- # SPDX-License-Identifier: Apache-2.0
- config KERNEL_SHELL
- bool "Enable kernel shell"
- default y if !SHELL_MINIMAL
- imply INIT_STACKS
- imply THREAD_MONITOR
- imply THREAD_NAME
- imply THREAD_STACK_INFO
- help
- This shell provides access to basic kernel data like version, uptime
- and other useful information.
- config KERNEL_SHELL_REBOOT_DELAY
- int "Delay between reception of shell reboot command and reboot (ms)"
- depends on KERNEL_SHELL
- depends on REBOOT
- default 0
- help
- This delay allows time for the shell to successfully echo the reboot
- command input before the reboot abruptly terminates it. This can help
- external systems that interact with the shell and require the reboot
- command's echo to successfully complete to synchronise with the
- device.
- config DEVICE_SHELL
- bool "Enable device shell"
- default y if !SHELL_MINIMAL
- help
- This shell provides access to basic device data.
- config DATE_SHELL
- bool "Enable date shell"
- depends on POSIX_CLOCK
- default y if !SHELL_MINIMAL
- help
- This shell provides access to date and time based on Unix time.
- config DEVMEM_SHELL
- bool "Enable devmem shell"
- default y if !SHELL_MINIMAL
- help
- This shell command provides read/write access to physical memory.
|
