2020-09-15 13:38:44 +02:00
|
|
|
#
|
|
|
|
# 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
|
|
|
|
|
2020-09-29 08:21:21 +02:00
|
|
|
config INTERPRETERS_WAMR_VERSION
|
|
|
|
string "WAMR Version"
|
2022-06-01 08:24:54 +02:00
|
|
|
default "WAMR-04-15-2021"
|
2020-09-29 08:21:21 +02:00
|
|
|
---help---
|
2022-06-01 08:24:54 +02:00
|
|
|
Version WAMR-09-29-2020 and later (include main) supported.
|
2020-09-29 08:21:21 +02:00
|
|
|
|
2021-11-09 07:58:42 +01:00
|
|
|
config INTERPRETERS_IWASM_TASK
|
|
|
|
bool "Webassembly iwasm task"
|
|
|
|
default y
|
|
|
|
|
|
|
|
if INTERPRETERS_IWASM_TASK
|
|
|
|
|
2020-09-15 13:38:44 +02:00
|
|
|
config INTERPRETERS_WAMR_PRIORITY
|
|
|
|
int "Webassembly Micro Runtime priority"
|
|
|
|
default 100
|
|
|
|
|
|
|
|
config INTERPRETERS_WAMR_STACKSIZE
|
|
|
|
int "Webassembly Micro Runtime stack size"
|
|
|
|
default 8192
|
|
|
|
|
2021-11-09 07:58:42 +01:00
|
|
|
endif
|
|
|
|
|
2020-09-15 13:38:44 +02:00
|
|
|
config INTERPRETERS_WAMR_AOT
|
|
|
|
bool "Enable AOT"
|
2022-05-25 05:46:47 +02:00
|
|
|
select ARCH_USE_TEXT_HEAP if ARCH_HAVE_TEXT_HEAP
|
2020-09-15 13:38:44 +02:00
|
|
|
default n
|
|
|
|
|
2021-11-09 07:58:42 +01:00
|
|
|
choice
|
|
|
|
prompt "Enable interpreter"
|
|
|
|
default INTERPRETERS_NONE
|
|
|
|
|
2020-09-15 13:38:44 +02:00
|
|
|
config INTERPRETERS_WAMR_FAST
|
|
|
|
bool "Enable fast interpreter"
|
2021-11-09 07:58:42 +01:00
|
|
|
|
|
|
|
config INTERPRETERS_WAMR_CLASSIC
|
|
|
|
bool "Enable classic interpreter"
|
|
|
|
|
|
|
|
config INTERPRETERS_NONE
|
|
|
|
bool "Disable interpreter"
|
|
|
|
|
|
|
|
endchoice
|
2020-09-15 13:38:44 +02:00
|
|
|
|
2022-08-29 06:25:40 +02:00
|
|
|
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
|
|
|
|
|
2020-09-15 13:38:44 +02:00
|
|
|
config INTERPRETERS_WAMR_LOG
|
|
|
|
bool "Enable log"
|
|
|
|
default n
|
|
|
|
|
|
|
|
config INTERPRETERS_WAMR_LIBC_BUILTIN
|
|
|
|
bool "Enable built-in libc"
|
|
|
|
default n
|
|
|
|
|
2022-04-27 06:23:05 +02:00
|
|
|
config INTERPRETERS_WAMR_LIBC_WASI
|
|
|
|
bool "Enable WASI libc"
|
2023-03-03 15:42:41 +01:00
|
|
|
select PSEUDOFS_SOFTLINKS
|
2022-04-27 06:23:05 +02:00
|
|
|
default n
|
2022-05-24 03:08:50 +02:00
|
|
|
---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.)
|
2022-04-27 06:23:05 +02:00
|
|
|
|
2020-09-17 14:09:24 +02:00
|
|
|
config INTERPRETERS_WAMR_MULTI_MODULE
|
2022-01-05 16:34:05 +01:00
|
|
|
bool "Enable multi module support"
|
2020-09-17 14:09:24 +02:00
|
|
|
default n
|
|
|
|
|
|
|
|
config INTERPRETERS_WAMR_MINILOADER
|
|
|
|
bool "Enable mini-loader"
|
|
|
|
default n
|
|
|
|
---help---
|
|
|
|
Mini-loader don't check the integrity of wasm module
|
|
|
|
|
2022-11-16 08:56:20 +01:00
|
|
|
config INTERPRETERS_WAMR_REF_TYPES
|
|
|
|
bool "Enable reference types support"
|
|
|
|
default n
|
|
|
|
|
2022-11-16 09:02:26 +01:00
|
|
|
config INTERPRETERS_WAMR_ENABLE_SPEC_TEST
|
|
|
|
bool "Enable spectest support"
|
|
|
|
default n
|
|
|
|
|
2022-08-10 06:03:39 +02:00
|
|
|
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.
|
|
|
|
|
2020-09-17 14:09:24 +02:00
|
|
|
config INTERPRETERS_WAMR_THREAD_MGR
|
|
|
|
bool "Enable thread manager"
|
|
|
|
default n
|
|
|
|
|
2023-07-05 13:36:46 +02:00
|
|
|
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
|
|
|
|
|
2020-09-17 14:09:24 +02:00
|
|
|
config INTERPRETERS_WAMR_LIB_PTHREAD
|
2023-07-05 13:36:46 +02:00
|
|
|
bool "Enable lib pthread (legacy)"
|
2020-09-17 14:09:24 +02:00
|
|
|
default n
|
2023-07-05 13:36:46 +02:00
|
|
|
---help---
|
|
|
|
See https://github.com/bytecodealliance/wasm-micro-runtime/blob/main/doc/pthread_impls.md
|
2020-09-17 14:09:24 +02:00
|
|
|
|
2022-08-09 10:18:30 +02:00
|
|
|
config INTERPRETERS_WAMR_LIB_PTHREAD_SEMAPHORE
|
|
|
|
bool "Enable semaphore"
|
|
|
|
depends on INTERPRETERS_WAMR_LIB_PTHREAD
|
|
|
|
default n
|
|
|
|
|
2021-11-09 07:58:42 +01:00
|
|
|
config INTERPRETERS_WAMR_SHARED_MEMORY
|
|
|
|
bool "Enable shared memory"
|
|
|
|
default n
|
|
|
|
|
|
|
|
config INTERPRETERS_WAMR_BULK_MEMORY
|
|
|
|
bool "Enable bluk memory"
|
|
|
|
default n
|
|
|
|
|
2022-05-20 07:35:38 +02:00
|
|
|
config INTERPRETERS_WAMR_PERF_PROFILING
|
|
|
|
bool "Enable performance profiling"
|
|
|
|
default n
|
|
|
|
|
2021-11-09 07:58:42 +01:00
|
|
|
config INTERPRETERS_WAMR_MEMORY_PROFILING
|
|
|
|
bool "Enable memory profiling"
|
|
|
|
default n
|
|
|
|
|
|
|
|
config INTERPRETERS_WAMR_MEMORY_TRACING
|
|
|
|
bool "Enable memory tracing"
|
|
|
|
default n
|
|
|
|
|
2023-03-21 02:50:02 +01:00
|
|
|
config INTERPRETERS_WAMR_DUMP_CALL_STACK
|
|
|
|
bool "Enable dump call stack (on exception)"
|
|
|
|
default n
|
|
|
|
|
2020-09-17 14:09:24 +02:00
|
|
|
config INTERPRETERS_WAMR_DISABLE_HW_BOUND_CHECK
|
|
|
|
bool "Disable hardware bound check"
|
|
|
|
default n
|
|
|
|
|
2020-09-27 14:25:47 +02:00
|
|
|
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
|
|
|
|
|
2023-07-04 11:09:42 +02:00
|
|
|
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.
|
|
|
|
|
2020-09-15 13:38:44 +02:00
|
|
|
endif
|