1# Shell configuration options
2
3# Copyright (c) 2016 Intel Corporation
4# SPDX-License-Identifier: Apache-2.0
5
6config DEVICE_SHELL
7	bool "Device shell"
8	default y if !SHELL_MINIMAL
9	help
10	  This shell provides access to basic device data.
11
12config DATE_SHELL
13	bool "Date shell"
14	depends on POSIX_TIMERS
15	default y if !SHELL_MINIMAL
16	help
17	  This shell provides access to date and time based on Unix time.
18
19config DEVMEM_SHELL
20	bool "Devmem shell"
21	default y if !SHELL_MINIMAL
22	select POSIX_C_LIB_EXT
23	help
24	  This shell command provides read/write access to physical memory.
25
26rsource "kernel_service/Kconfig"
27