forked from xuos/xiuos
41 lines
708 B
Plaintext
41 lines
708 B
Plaintext
|
|
mainmenu "Ubiquitous Kernel Selector"
|
|
|
|
config BSP_DIR
|
|
string
|
|
option env="BSP_ROOT"
|
|
default "."
|
|
|
|
config KERNEL_DIR
|
|
string
|
|
option env="KERNEL_ROOT"
|
|
default "../.."
|
|
|
|
config UBIQUITOUS_DIR
|
|
string
|
|
option env="UBIQUITOUS_ROOT"
|
|
default "../../.."
|
|
|
|
source "$UBIQUITOUS_DIR/Kselector_features"
|
|
|
|
source "$UBIQUITOUS_DIR/Kselector_params"
|
|
|
|
config MANUALLY_SELECT
|
|
bool "Manually select a kernel"
|
|
default n
|
|
if MANUALLY_SELECT
|
|
menu "Required Kernel"
|
|
choice
|
|
prompt "Select OS Kernel"
|
|
default SELECT_XIUOS
|
|
|
|
config SELECT_RT_THREAD
|
|
bool "select RT_Thread"
|
|
config SELECT_NUTTX
|
|
bool "select Nuttx"
|
|
config SELECT_XIUOS
|
|
bool "select XiZi"
|
|
endchoice
|
|
endmenu
|
|
endif
|