| # Shell configuration options |
| |
| # Copyright (c) 2016 Intel Corporation |
| # SPDX-License-Identifier: Apache-2.0 |
| |
| 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_TIMERS |
| 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 POSIX_C_LIB_EXT |
| help |
| This shell command provides read/write access to physical memory. |
| |
| rsource "kernel_service/Kconfig" |
