29 lines
689 B
Plaintext
29 lines
689 B
Plaintext
# Shell configuration options
|
|
|
|
# Copyright (c) 2016 Intel Corporation
|
|
# SPDX-License-Identifier: Apache-2.0
|
|
|
|
config KERNEL_SHELL
|
|
bool "Enable 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 DEVICE_SHELL
|
|
bool "Enable device shell"
|
|
default y if !SHELL_MINIMAL
|
|
help
|
|
This shell provides access to basic device data.
|
|
|
|
config DATE_SHELL
|
|
bool "Enable date shell"
|
|
depends on POSIX_CLOCK
|
|
default y if !SHELL_MINIMAL
|
|
help
|
|
This shell provides access to date and time based on Unix time.
|