# Shell configuration options

# Copyright (c) 2016 Intel Corporation
# SPDX-License-Identifier: Apache-2.0

config KERNEL_SHELL
	bool "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 "Device shell"
	default y if !SHELL_MINIMAL
	help
	  This shell provides access to basic device data.

config DATE_SHELL
	bool "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 "Devmem shell"
	default y if !SHELL_MINIMAL
	select GETOPT
	help
	  This shell command provides read/write access to physical memory.
