189 lines
4.4 KiB
Plaintext
189 lines
4.4 KiB
Plaintext
#
|
|
# For a description of the syntax of this configuration file,
|
|
# see the file kconfig-language.txt in the NuttX tools repository.
|
|
#
|
|
|
|
config INTERPRETERS_WAMR
|
|
tristate "Webassembly Micro Runtime"
|
|
default n
|
|
|
|
if INTERPRETERS_WAMR
|
|
|
|
config INTERPRETERS_WAMR_VERSION
|
|
string "WAMR Version"
|
|
default "WAMR-04-15-2021"
|
|
---help---
|
|
Version WAMR-09-29-2020 and later (include main) supported.
|
|
|
|
config INTERPRETERS_IWASM_TASK
|
|
bool "Webassembly iwasm task"
|
|
default y
|
|
|
|
if INTERPRETERS_IWASM_TASK
|
|
|
|
config INTERPRETERS_WAMR_PRIORITY
|
|
int "Webassembly Micro Runtime priority"
|
|
default 100
|
|
|
|
config INTERPRETERS_WAMR_STACKSIZE
|
|
int "Webassembly Micro Runtime stack size"
|
|
default 8192
|
|
|
|
endif # INTERPRETERS_IWASM_TASK
|
|
|
|
config INTERPRETERS_WAMR_AOT
|
|
bool "Enable AOT"
|
|
select ARCH_USE_TEXT_HEAP if ARCH_HAVE_TEXT_HEAP
|
|
default n
|
|
|
|
choice
|
|
prompt "Enable interpreter"
|
|
default INTERPRETERS_NONE
|
|
|
|
config INTERPRETERS_WAMR_FAST
|
|
bool "Enable fast interpreter"
|
|
|
|
config INTERPRETERS_WAMR_CLASSIC
|
|
bool "Enable classic interpreter"
|
|
|
|
config INTERPRETERS_NONE
|
|
bool "Disable interpreter"
|
|
|
|
endchoice # Enable interpreter
|
|
|
|
config INTERPRETERS_WAMR_DEBUG_INTERP
|
|
bool "Enable debugger support in the interpreter"
|
|
default n
|
|
# Note: It only works with the classic interpreter
|
|
depends on INTERPRETERS_WAMR_CLASSIC
|
|
# Note: It uses thread-manager internally
|
|
depends on INTERPRETERS_WAMR_THREAD_MGR
|
|
# Note: It sets up the listening socket with SO_LINGER
|
|
depends on NET_TCP
|
|
depends on NET_SOLINGER
|
|
|
|
config INTERPRETERS_WAMR_LOG
|
|
bool "Enable log"
|
|
default n
|
|
|
|
config INTERPRETERS_WAMR_LIBC_BUILTIN
|
|
bool "Enable built-in libc"
|
|
default n
|
|
|
|
config INTERPRETERS_WAMR_LIBC_WASI
|
|
bool "Enable WASI libc"
|
|
select PSEUDOFS_SOFTLINKS
|
|
default n
|
|
---help---
|
|
Note: As of writing this, this works only with main branch of
|
|
wasm-micro-runtime.
|
|
I.e. INTERPRETERS_WAMR_VERSION="main"
|
|
|
|
Note: As of writing this, most of the filesystem operations are
|
|
not implemented. (Mainly because of lack of openat family of
|
|
the API in NuttX.)
|
|
|
|
config INTERPRETERS_WAMR_MULTI_MODULE
|
|
bool "Enable multi module support"
|
|
default n
|
|
|
|
config INTERPRETERS_WAMR_MINILOADER
|
|
bool "Enable mini-loader"
|
|
default n
|
|
---help---
|
|
Mini-loader don't check the integrity of wasm module
|
|
|
|
config INTERPRETERS_WAMR_REF_TYPES
|
|
bool "Enable reference types support"
|
|
default n
|
|
|
|
config INTERPRETERS_WAMR_ENABLE_SPEC_TEST
|
|
bool "Enable spectest support"
|
|
default n
|
|
|
|
config INTERPRETERS_WAMR_STACK_GUARD_SIZE
|
|
int "Custom stack guard size"
|
|
default 0
|
|
---help---
|
|
Reserve some space in stack as guard to detect stack overflow,
|
|
use stack base by default but may not safe enough.
|
|
|
|
config INTERPRETERS_WAMR_THREAD_MGR
|
|
bool "Enable thread manager"
|
|
default n
|
|
|
|
config INTERPRETERS_WAMR_LIB_WASI_THREADS
|
|
bool "Enable wasi-threads"
|
|
default n
|
|
---help---
|
|
See https://github.com/bytecodealliance/wasm-micro-runtime/blob/main/doc/pthread_impls.md
|
|
|
|
config INTERPRETERS_WAMR_LIB_PTHREAD
|
|
bool "Enable lib pthread (legacy)"
|
|
default n
|
|
---help---
|
|
See https://github.com/bytecodealliance/wasm-micro-runtime/blob/main/doc/pthread_impls.md
|
|
|
|
config INTERPRETERS_WAMR_LIB_PTHREAD_SEMAPHORE
|
|
bool "Enable semaphore"
|
|
depends on INTERPRETERS_WAMR_LIB_PTHREAD
|
|
default n
|
|
|
|
config INTERPRETERS_WAMR_SHARED_MEMORY
|
|
bool "Enable shared memory"
|
|
default n
|
|
|
|
config INTERPRETERS_WAMR_BULK_MEMORY
|
|
bool "Enable bluk memory"
|
|
default n
|
|
|
|
config INTERPRETERS_WAMR_PERF_PROFILING
|
|
bool "Enable performance profiling"
|
|
default n
|
|
|
|
config INTERPRETERS_WAMR_MEMORY_PROFILING
|
|
bool "Enable memory profiling"
|
|
default n
|
|
|
|
config INTERPRETERS_WAMR_MEMORY_TRACING
|
|
bool "Enable memory tracing"
|
|
default n
|
|
|
|
config INTERPRETERS_WAMR_DUMP_CALL_STACK
|
|
bool "Enable dump call stack (on exception)"
|
|
default n
|
|
|
|
config INTERPRETERS_WAMR_DISABLE_HW_BOUND_CHECK
|
|
bool "Disable hardware bound check"
|
|
default n
|
|
|
|
config INTERPRETERS_WAMR_LOAD_CUSTOM_SECTIONS
|
|
bool "Enable load custom section support"
|
|
default n
|
|
|
|
config INTERPRETERS_WAMR_CUSTOM_NAME_SECTIONS
|
|
bool "Enable custom name section support"
|
|
default n
|
|
|
|
config INTERPRETERS_WAMR_GLOBAL_HEAP_POOL
|
|
bool "Enable global heap pool"
|
|
default n
|
|
|
|
if INTERPRETERS_WAMR_GLOBAL_HEAP_POOL
|
|
|
|
config INTERPRETERS_WAMR_GLOBAL_HEAP_POOL_SIZE
|
|
int "Global heap pool size (in KB)"
|
|
default 128
|
|
|
|
endif # INTERPRETERS_WAMR_GLOBAL_HEAP_POOL
|
|
|
|
config INTERPRETERS_WAMR_CONFIGUABLE_BOUNDS_CHECKS
|
|
bool "Configuable bounds checks"
|
|
default n
|
|
---help---
|
|
Bounds checks enabled by default. With this option, you can
|
|
disable bounds checks passing --disable-bounds-checks to
|
|
iwasm.
|
|
|
|
endif # INTERPRETERS_WAMR
|