nuttx/wamr: WAMR configuration based on NSH added

N/A

Signed-off-by: zhouliang3 <zhouliang3@xiaomi.com>
Change-Id: Id17d3ae72142d83bb8c1f7a0186c66d4e66b52cf

boards/sim/sim/sim/configs/wamr/defconfig

@@ -5,160 +5,56 @@
 # You can then do "make savedefconfig" to generate a new defconfig file that includes your
 # modifications.
 #
+# CONFIG_NSH_CMDOPT_HEXDUMP is not set
 CONFIG_ARCH="sim"
 CONFIG_ARCH_BOARD="sim"
 CONFIG_ARCH_BOARD_SIM=y
 CONFIG_ARCH_CHIP="sim"
 CONFIG_ARCH_SIM=y
-CONFIG_AUDIO=y
+CONFIG_BOARDCTL_APP_SYMTAB=y
 CONFIG_BOARDCTL_POWEROFF=y
+CONFIG_BOARD_LOOPSPERMSEC=0
+CONFIG_BOOT_RUNFROMEXTSRAM=y
 CONFIG_BUILTIN=y
-CONFIG_CODECS_HASH_MD5=y
-CONFIG_DEBUG_ASSERTIONS=y
-CONFIG_DEBUG_ERROR=y
-CONFIG_DEBUG_FEATURES=y
-CONFIG_DEBUG_INFO=y
 CONFIG_DEBUG_SYMBOLS=y
-CONFIG_DEBUG_WARN=y
 CONFIG_DEV_LOOP=y
-CONFIG_DEV_SIMPLE_ADDRENV=y
 CONFIG_DEV_ZERO=y
-CONFIG_DRIVERS_BLUETOOTH=y
-CONFIG_DRIVERS_RC=y
-CONFIG_DRIVERS_VIDEO=y
-CONFIG_DRIVERS_WIRELESS=y
-CONFIG_ELF=y
-CONFIG_EXECFUNCS_HAVE_SYMTAB=y
+CONFIG_EXAMPLES_HELLO=y
+CONFIG_FAT_LCNAMES=y
+CONFIG_FAT_LFN=y
+CONFIG_FSUTILS_PASSWD=y
+CONFIG_FSUTILS_PASSWD_READONLY=y
 CONFIG_FS_BINFS=y
-CONFIG_FS_HOSTFS=y
-CONFIG_FS_LITTLEFS=y
+CONFIG_FS_FAT=y
 CONFIG_FS_PROCFS=y
-CONFIG_FS_RAMMAP=y
 CONFIG_FS_ROMFS=y
-CONFIG_FS_TMPFS=y
-CONFIG_GRAPHICS_LVGL=y
 CONFIG_HAVE_CXX=y
-CONFIG_IDLETHREAD_STACKSIZE=2048
-CONFIG_INPUT=y
+CONFIG_IDLETHREAD_STACKSIZE=4096
 CONFIG_INTERPRETERS_WAMR=y
 CONFIG_INTERPRETERS_WAMR_AOT=y
 CONFIG_INTERPRETERS_WAMR_LIBC_BUILTIN=y
-CONFIG_INTERPRETERS_WAMR_LIB_WASI=y
-CONFIG_IOB_BUFSIZE=1518
-CONFIG_IOB_NBUFFERS=72
-CONFIG_IOB_NOTIFIER=y
-CONFIG_LIBCXX=y
 CONFIG_LIBC_EXECFUNCS=y
-CONFIG_LIBC_FLOATINGPOINT=y
-CONFIG_LIB_CURL=y
 CONFIG_LIB_ENVPATH=y
-CONFIG_LV_COLOR_DEPTH=32
-CONFIG_LV_HOR_RES=640
-CONFIG_LV_VER_RES=480
-CONFIG_MQ_MAXMSGSIZE=128
-CONFIG_MTD=y
-CONFIG_NET=y
-CONFIG_NETDB_DNSCLIENT=y
-CONFIG_NETDB_DNSCLIENT_MAXRESPONSE=1024
-CONFIG_NETDB_DNSCLIENT_NAMESIZE=128
-CONFIG_NETDB_DNSCLIENT_RECV_TIMEOUT=3
-CONFIG_NETDB_DNSSERVER_IPv4ADDR=0x771d1d1d
-CONFIG_NETDB_MAX_IPADDR=2
-CONFIG_NETDEVICES=y
-CONFIG_NETDEV_STATISTICS=y
-CONFIG_NETINIT_DHCPC=y
-CONFIG_NETINIT_THREAD=y
-CONFIG_NETLINK_ROUTE=y
-CONFIG_NETUTILS_CODECS=y
-CONFIG_NETUTILS_DHCPC=y
-CONFIG_NETUTILS_NTPCLIENT=y
-CONFIG_NETUTILS_PING=y
-CONFIG_NETUTILS_TELNETC=y
-CONFIG_NETUTILS_TELNETD=y
-CONFIG_NETUTILS_TFTPC=y
-CONFIG_NETUTILS_WEBCLIENT=y
-CONFIG_NET_ARP_SEND=y
-CONFIG_NET_BROADCAST=y
-CONFIG_NET_ETH_PKTSIZE=1294
-CONFIG_NET_ICMP=y
-CONFIG_NET_ICMP_SOCKET=y
-CONFIG_NET_IGMP=y
-CONFIG_NET_LOCAL=y
-CONFIG_NET_LOOPBACK=y
-CONFIG_NET_NACTIVESOCKETS=32
-CONFIG_NET_NETLINK=y
-CONFIG_NET_SENDFILE=y
-CONFIG_NET_SOLINGER=y
-CONFIG_NET_STATISTICS=y
-CONFIG_NET_TCP=y
-CONFIG_NET_TCPBACKLOG=y
-CONFIG_NET_TCP_CONNS=16
-CONFIG_NET_TCP_WRITE_BUFFERS=y
-CONFIG_NET_UDP=y
-CONFIG_NET_UDP_BINDTODEVICE=y
-CONFIG_NET_UDP_CHECKSUMS=y
-CONFIG_NET_UDP_CONNS=16
-CONFIG_NET_UDP_WRITE_BUFFERS=y
-CONFIG_NFILE_DESCRIPTORS=144
-CONFIG_NFS=y
+CONFIG_MAX_TASKS=64
 CONFIG_NSH_ARCHINIT=y
 CONFIG_NSH_ARCHROMFS=y
 CONFIG_NSH_BUILTIN_APPS=y
+CONFIG_NSH_CONSOLE_LOGIN=y
+CONFIG_NSH_FATDEVNO=2
 CONFIG_NSH_FILE_APPS=y
-CONFIG_NSH_LINELEN=2048
+CONFIG_NSH_MOTD=y
+CONFIG_NSH_MOTD_STRING="MOTD: username=admin password=Administrator"
 CONFIG_NSH_READLINE=y
+CONFIG_NSH_ROMFSDEVNO=1
 CONFIG_NSH_ROMFSETC=y
-CONFIG_PATH_INITIAL="/system/bin"
+CONFIG_PATH_INITIAL="/bin"
 CONFIG_POSIX_SPAWN_PROXY_STACKSIZE=2048
-CONFIG_PSEUDOFS_SOFTLINKS=y
-CONFIG_PSEUDOTERM=y
-CONFIG_PSEUDOTERM_BSD=y
-CONFIG_PTHREAD_CLEANUP=y
-CONFIG_PTHREAD_CLEANUP_STACKSIZE=2
-CONFIG_PTHREAD_MUTEX_TYPES=y
-CONFIG_RAMMTD=y
-CONFIG_RC_DUMMY=y
-CONFIG_READLINE_CMD_HISTORY=y
 CONFIG_READLINE_TABCOMPLETION=y
-CONFIG_RTC=y
-CONFIG_RTC_ARCH=y
-CONFIG_RTC_DATETIME=y
-CONFIG_RTC_DRIVER=y
-CONFIG_SCHED_CHILD_STATUS=y
 CONFIG_SCHED_HAVE_PARENT=y
-CONFIG_SCHED_HPWORK=y
-CONFIG_SCHED_LPWORKSTACKSIZE=15360
 CONFIG_SCHED_ONEXIT=y
-CONFIG_SCHED_TICKLESS=y
-CONFIG_SENSORS=y
-CONFIG_SIG_EVTHREAD=y
-CONFIG_SIM_FBHEIGHT=480
-CONFIG_SIM_FBWIDTH=640
-CONFIG_SIM_M32=y
-CONFIG_SIM_NET_BRIDGE=y
-CONFIG_SIM_TOUCHSCREEN=y
-CONFIG_SIM_UART0_NAME="/dev/ttySensor"
-CONFIG_SIM_UART_NUMBER=1
-CONFIG_SIM_X11FB=y
-CONFIG_SPINLOCK=y
-CONFIG_STACK_CANARIES=y
-CONFIG_STACK_COLORATION=y
-CONFIG_SYSLOG_CHARDEV=y
-CONFIG_SYSLOG_PROCESSID=y
-CONFIG_SYSLOG_TIMESTAMP=y
-CONFIG_SYSTEM_CLE=y
+CONFIG_SCHED_WAITPID=y
+CONFIG_SDCLONE_DISABLE=y
+CONFIG_START_MONTH=6
+CONFIG_START_YEAR=2008
 CONFIG_SYSTEM_NSH=y
-CONFIG_SYSTEM_SYSTEM=y
-CONFIG_SYSTEM_TIME64=y
-CONFIG_TELNET_CHARACTER_MODE=y
-CONFIG_TINYCRYPT=y
-CONFIG_TINYCRYPT_AES=y
-CONFIG_TINYCRYPT_AES_CMAC=y
-CONFIG_TINYCRYPT_ECC_DH=y
-CONFIG_TINYCRYPT_SHA256=y
-CONFIG_TINYCRYPT_SHA256_HMAC=y
-CONFIG_TINYCRYPT_SHA256_HMAC_PRNG=y
-CONFIG_TTY_SIGINT=y
-CONFIG_USERMAIN_STACKSIZE=30720
 CONFIG_USER_ENTRYPOINT="nsh_main"
-CONFIG_VIDEO_FB=y