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
32config KERNEL_SHELL_PANIC_CMD
33	bool "Add a panic command"
34	help
35	  Whether a fatal error handler is installed or not, it may come in
36	  handy to have a way to generate a kernel panic as if something had
37	  crashed, but reliably through the shell.
38
39endif # KERNEL_SHELL
40