1# Kernel service configuration options
2
3# Copyright (c) 2016 Intel Corporation
4# SPDX-License-Identifier: Apache-2.0
5
6config KERNEL_SHELL
7	bool "Kernel shell"
8	default y if !SHELL_MINIMAL
9	imply INIT_STACKS
10	imply THREAD_MONITOR
11	imply THREAD_NAME
12	imply THREAD_STACK_INFO
13	help
14	  This shell provides access to basic kernel data like version, uptime
15	  and other useful information.
16
17if KERNEL_SHELL
18
19config KERNEL_SHELL_REBOOT_DELAY
20	int "Delay between reception of shell reboot command and reboot (ms)"
21	depends on REBOOT
22	default 0
23	help
24	  This delay allows time for the shell to successfully echo the reboot
25	  command input before the reboot abruptly terminates it. This can help
26	  external systems that interact with the shell and require the reboot
27	  command's echo to successfully complete to synchronise with the
28	  device.
29
30rsource "thread/Kconfig"
31
32endif # KERNEL_SHELL
33