2023-12-30 03:51:50 +08:00
|
|
|
menu "Components configure"
|
|
|
|
|
|
|
|
|
|
# Msh
|
|
|
|
|
config MR_USING_MSH
|
|
|
|
|
bool "Use msh"
|
2024-01-02 00:02:48 +08:00
|
|
|
default n
|
2023-12-30 03:51:50 +08:00
|
|
|
help
|
|
|
|
|
"Use this option allows for the use of the shell."
|
|
|
|
|
menu "Msh configure"
|
|
|
|
|
depends on MR_USING_MSH
|
2024-01-10 16:47:46 +08:00
|
|
|
|
2023-12-30 03:51:50 +08:00
|
|
|
config MR_CFG_MSH_BUFSZ
|
|
|
|
|
int "Msh buffer size"
|
|
|
|
|
default 32
|
|
|
|
|
range 16 1024
|
|
|
|
|
help
|
|
|
|
|
"This option sets the buffer size used by the shell."
|
|
|
|
|
|
|
|
|
|
config MR_CFG_MSH_NAME_MAX
|
|
|
|
|
int "Msh command name max length"
|
|
|
|
|
default 8
|
|
|
|
|
range 8 64
|
|
|
|
|
help
|
|
|
|
|
"This option sets the max length of the command name."
|
|
|
|
|
|
|
|
|
|
config MR_CFG_MSH_ARGS_MAX
|
|
|
|
|
int "Msh argument max number"
|
|
|
|
|
default 4
|
|
|
|
|
range 1 16
|
|
|
|
|
help
|
|
|
|
|
"This option sets the max number of arguments."
|
|
|
|
|
|
2024-01-10 16:47:46 +08:00
|
|
|
config MR_CFG_MSH_DEV_NAME
|
|
|
|
|
string "Msh device name"
|
|
|
|
|
default "serial1"
|
|
|
|
|
help
|
|
|
|
|
"This option sets the name of the device used by the shell."
|
|
|
|
|
|
|
|
|
|
config MR_CFG_MSH_NONBLOCKING
|
|
|
|
|
bool "Use msh non-blocking"
|
|
|
|
|
default n
|
|
|
|
|
help
|
|
|
|
|
"Use this option allows for the use of the shell non-blocking."
|
|
|
|
|
|
|
|
|
|
config MR_CFG_MSH_PRINTF_BUFSZ
|
|
|
|
|
int "Printf buffer size"
|
|
|
|
|
default 128
|
|
|
|
|
range 32 2147483647
|
|
|
|
|
help
|
|
|
|
|
"This option sets the buffer size used by the printf function."
|
|
|
|
|
|
2023-12-30 03:51:50 +08:00
|
|
|
config MR_CFG_MSH_PROMPT
|
|
|
|
|
string "Msh prompt"
|
|
|
|
|
default "msh>"
|
|
|
|
|
help
|
|
|
|
|
"This option sets the prompt of the shell."
|
|
|
|
|
|
|
|
|
|
config MR_USING_MSH_ECHO
|
|
|
|
|
bool "Use msh echo"
|
|
|
|
|
default y
|
|
|
|
|
help
|
|
|
|
|
"Use this option allows for the use of the echo in the msh."
|
|
|
|
|
endmenu
|
2023-12-27 23:48:59 +08:00
|
|
|
|
|
|
|
|
endmenu
|
