325 lines
7.4 KiB
Plaintext
325 lines
7.4 KiB
Plaintext
#
|
|
# Automatically generated file; DO NOT EDIT.
|
|
# RT-Thread Project Configuration
|
|
#
|
|
|
|
#
|
|
# RT-Thread Kernel
|
|
#
|
|
CONFIG_RT_NAME_MAX=6
|
|
CONFIG_RT_ALIGN_SIZE=4
|
|
# CONFIG_RT_THREAD_PRIORITY_8 is not set
|
|
CONFIG_RT_THREAD_PRIORITY_32=y
|
|
# CONFIG_RT_THREAD_PRIORITY_256 is not set
|
|
CONFIG_RT_THREAD_PRIORITY_MAX=32
|
|
CONFIG_RT_TICK_PER_SECOND=1000
|
|
CONFIG_RT_USING_OVERFLOW_CHECK=y
|
|
CONFIG_RT_USING_HOOK=y
|
|
CONFIG_RT_IDLE_HOOK_LIST_SIZE=4
|
|
CONFIG_IDLE_THREAD_STACK_SIZE=512
|
|
# CONFIG_RT_USING_TIMER_SOFT is not set
|
|
CONFIG_RT_DEBUG=y
|
|
CONFIG_RT_DEBUG_COLOR=y
|
|
# CONFIG_RT_DEBUG_INIT_CONFIG is not set
|
|
# CONFIG_RT_DEBUG_THREAD_CONFIG is not set
|
|
# CONFIG_RT_DEBUG_SCHEDULER_CONFIG is not set
|
|
# CONFIG_RT_DEBUG_IPC_CONFIG is not set
|
|
# CONFIG_RT_DEBUG_TIMER_CONFIG is not set
|
|
# CONFIG_RT_DEBUG_IRQ_CONFIG is not set
|
|
# CONFIG_RT_DEBUG_MEM_CONFIG is not set
|
|
# CONFIG_RT_DEBUG_SLAB_CONFIG is not set
|
|
# CONFIG_RT_DEBUG_MEMHEAP_CONFIG is not set
|
|
# CONFIG_RT_DEBUG_MODULE_CONFIG is not set
|
|
|
|
#
|
|
# Inter-Thread communication
|
|
#
|
|
CONFIG_RT_USING_SEMAPHORE=y
|
|
CONFIG_RT_USING_MUTEX=y
|
|
CONFIG_RT_USING_EVENT=y
|
|
CONFIG_RT_USING_MAILBOX=y
|
|
CONFIG_RT_USING_MESSAGEQUEUE=y
|
|
# CONFIG_RT_USING_SIGNALS is not set
|
|
|
|
#
|
|
# Memory Management
|
|
#
|
|
CONFIG_RT_USING_MEMPOOL=y
|
|
# CONFIG_RT_USING_MEMHEAP is not set
|
|
# CONFIG_RT_USING_NOHEAP is not set
|
|
CONFIG_RT_USING_SMALL_MEM=y
|
|
# CONFIG_RT_USING_SLAB is not set
|
|
# CONFIG_RT_USING_MEMTRACE is not set
|
|
CONFIG_RT_USING_HEAP=y
|
|
|
|
#
|
|
# Kernel Device Object
|
|
#
|
|
CONFIG_RT_USING_DEVICE=y
|
|
# CONFIG_RT_USING_DEVICE_OPS is not set
|
|
CONFIG_RT_USING_INTERRUPT_INFO=y
|
|
CONFIG_RT_USING_CONSOLE=y
|
|
CONFIG_RT_CONSOLEBUF_SIZE=128
|
|
CONFIG_RT_CONSOLE_DEVICE_NAME="uart1"
|
|
# CONFIG_RT_USING_MODULE is not set
|
|
CONFIG_ARCH_ARM=y
|
|
CONFIG_ARCH_ARM_CORTEX_A=y
|
|
CONFIG_ARCH_ARM_CORTEX_A9=y
|
|
|
|
#
|
|
# RT-Thread Components
|
|
#
|
|
CONFIG_RT_USING_COMPONENTS_INIT=y
|
|
# CONFIG_RT_USING_USER_MAIN is not set
|
|
|
|
#
|
|
# C++ features
|
|
#
|
|
# CONFIG_RT_USING_CPLUSPLUS is not set
|
|
|
|
#
|
|
# Command shell
|
|
#
|
|
CONFIG_RT_USING_FINSH=y
|
|
CONFIG_FINSH_THREAD_NAME="tshell"
|
|
CONFIG_FINSH_USING_HISTORY=y
|
|
CONFIG_FINSH_HISTORY_LINES=5
|
|
CONFIG_FINSH_USING_SYMTAB=y
|
|
CONFIG_FINSH_USING_DESCRIPTION=y
|
|
# CONFIG_FINSH_ECHO_DISABLE_DEFAULT is not set
|
|
CONFIG_FINSH_THREAD_PRIORITY=20
|
|
CONFIG_FINSH_THREAD_STACK_SIZE=4096
|
|
CONFIG_FINSH_CMD_SIZE=80
|
|
# CONFIG_FINSH_USING_AUTH is not set
|
|
CONFIG_FINSH_USING_MSH=y
|
|
CONFIG_FINSH_USING_MSH_DEFAULT=y
|
|
# CONFIG_FINSH_USING_MSH_ONLY is not set
|
|
CONFIG_FINSH_ARG_MAX=10
|
|
|
|
#
|
|
# Device virtual file system
|
|
#
|
|
CONFIG_RT_USING_DFS=y
|
|
CONFIG_DFS_USING_WORKDIR=y
|
|
CONFIG_DFS_FILESYSTEMS_MAX=2
|
|
CONFIG_DFS_FILESYSTEM_TYPES_MAX=2
|
|
CONFIG_DFS_FD_MAX=4
|
|
# CONFIG_RT_USING_DFS_MNTTABLE is not set
|
|
# CONFIG_RT_USING_DFS_ELMFAT is not set
|
|
CONFIG_RT_USING_DFS_DEVFS=y
|
|
# CONFIG_RT_USING_DFS_ROMFS is not set
|
|
# CONFIG_RT_USING_DFS_RAMFS is not set
|
|
# CONFIG_RT_USING_DFS_UFFS is not set
|
|
# CONFIG_RT_USING_DFS_JFFS2 is not set
|
|
# CONFIG_RT_USING_DFS_NFS is not set
|
|
|
|
#
|
|
# Device Drivers
|
|
#
|
|
CONFIG_RT_USING_DEVICE_IPC=y
|
|
CONFIG_RT_PIPE_BUFSZ=512
|
|
CONFIG_RT_USING_SERIAL=y
|
|
CONFIG_RT_SERIAL_USING_DMA=y
|
|
# CONFIG_RT_USING_CAN is not set
|
|
# CONFIG_RT_USING_HWTIMER is not set
|
|
# CONFIG_RT_USING_CPUTIME is not set
|
|
# CONFIG_RT_USING_I2C is not set
|
|
CONFIG_RT_USING_PIN=y
|
|
# CONFIG_RT_USING_PWM is not set
|
|
# CONFIG_RT_USING_MTD_NOR is not set
|
|
# CONFIG_RT_USING_MTD_NAND is not set
|
|
# CONFIG_RT_USING_RTC is not set
|
|
# CONFIG_RT_USING_SDIO is not set
|
|
# CONFIG_RT_USING_SPI is not set
|
|
# CONFIG_RT_USING_WDT is not set
|
|
# CONFIG_RT_USING_WIFI is not set
|
|
# CONFIG_RT_USING_AUDIO is not set
|
|
|
|
#
|
|
# Using USB
|
|
#
|
|
# CONFIG_RT_USING_USB_HOST is not set
|
|
# CONFIG_RT_USING_USB_DEVICE is not set
|
|
|
|
#
|
|
# POSIX layer and C standard library
|
|
#
|
|
CONFIG_RT_USING_LIBC=y
|
|
CONFIG_RT_USING_PTHREADS=y
|
|
CONFIG_RT_USING_POSIX=y
|
|
# CONFIG_RT_USING_POSIX_MMAP is not set
|
|
# CONFIG_RT_USING_POSIX_TERMIOS is not set
|
|
# CONFIG_RT_USING_POSIX_AIO is not set
|
|
|
|
#
|
|
# Network
|
|
#
|
|
|
|
#
|
|
# Socket abstraction layer
|
|
#
|
|
# CONFIG_RT_USING_SAL is not set
|
|
|
|
#
|
|
# light weight TCP/IP stack
|
|
#
|
|
# CONFIG_RT_USING_LWIP is not set
|
|
|
|
#
|
|
# Modbus master and slave stack
|
|
#
|
|
# CONFIG_RT_USING_MODBUS is not set
|
|
|
|
#
|
|
# AT commands
|
|
#
|
|
# CONFIG_RT_USING_AT is not set
|
|
|
|
#
|
|
# VBUS(Virtual Software BUS)
|
|
#
|
|
CONFIG_RT_USING_VBUS=y
|
|
# CONFIG_RT_USING_VBUS_RFS is not set
|
|
# CONFIG_RT_USING_VBUS_RSHELL is not set
|
|
CONFIG_RT_VBUS_USING_TESTS=y
|
|
CONFIG__RT_VBUS_RING_BASE=0x6f800000
|
|
CONFIG__RT_VBUS_RING_SZ=2097152
|
|
CONFIG_RT_VBUS_GUEST_VIRQ=14
|
|
CONFIG_RT_VBUS_HOST_VIRQ=15
|
|
CONFIG_RT_VBUS_SHELL_DEV_NAME="vbser0"
|
|
CONFIG_RT_VBUS_RFS_DEV_NAME="rfs"
|
|
|
|
#
|
|
# Utilities
|
|
#
|
|
CONFIG_RT_USING_LOGTRACE=y
|
|
CONFIG_LOG_TRACE_MAX_SESSION=16
|
|
# CONFIG_LOG_TRACE_USING_LEVEL_NOTRACE is not set
|
|
# CONFIG_LOG_TRACE_USING_LEVEL_ERROR is not set
|
|
# CONFIG_LOG_TRACE_USING_LEVEL_WARNING is not set
|
|
CONFIG_LOG_TRACE_USING_LEVEL_INFO=y
|
|
# CONFIG_LOG_TRACE_USING_LEVEL_VERBOSE is not set
|
|
# CONFIG_LOG_TRACE_USING_LEVEL_DEBUG is not set
|
|
# CONFIG_LOG_TRACE_USING_MEMLOG is not set
|
|
# CONFIG_RT_USING_RYM is not set
|
|
|
|
#
|
|
# RT-Thread online packages
|
|
#
|
|
|
|
#
|
|
# IoT - internet of things
|
|
#
|
|
# CONFIG_PKG_USING_PAHOMQTT is not set
|
|
# CONFIG_PKG_USING_WEBCLIENT is not set
|
|
# CONFIG_PKG_USING_MONGOOSE is not set
|
|
# CONFIG_PKG_USING_WEBTERMINAL is not set
|
|
# CONFIG_PKG_USING_CJSON is not set
|
|
# CONFIG_PKG_USING_JSMN is not set
|
|
# CONFIG_PKG_USING_LJSON is not set
|
|
# CONFIG_PKG_USING_EZXML is not set
|
|
# CONFIG_PKG_USING_NANOPB is not set
|
|
|
|
#
|
|
# Wi-Fi
|
|
#
|
|
|
|
#
|
|
# Marvell WiFi
|
|
#
|
|
# CONFIG_PKG_USING_WLANMARVELL is not set
|
|
|
|
#
|
|
# Wiced WiFi
|
|
#
|
|
# CONFIG_PKG_USING_WLAN_WICED is not set
|
|
# CONFIG_PKG_USING_COAP is not set
|
|
# CONFIG_PKG_USING_NOPOLL is not set
|
|
# CONFIG_PKG_USING_NETUTILS is not set
|
|
# CONFIG_PKG_USING_AT_DEVICE is not set
|
|
|
|
#
|
|
# IoT Cloud
|
|
#
|
|
# CONFIG_PKG_USING_ONENET is not set
|
|
# CONFIG_PKG_USING_GAGENT_CLOUD is not set
|
|
# CONFIG_PKG_USING_ALI_IOTKIT is not set
|
|
# CONFIG_PKG_USING_AZURE is not set
|
|
|
|
#
|
|
# security packages
|
|
#
|
|
# CONFIG_PKG_USING_MBEDTLS is not set
|
|
# CONFIG_PKG_USING_libsodium is not set
|
|
# CONFIG_PKG_USING_TINYCRYPT is not set
|
|
|
|
#
|
|
# language packages
|
|
#
|
|
# CONFIG_PKG_USING_LUA is not set
|
|
# CONFIG_PKG_USING_JERRYSCRIPT is not set
|
|
# CONFIG_PKG_USING_MICROPYTHON is not set
|
|
|
|
#
|
|
# multimedia packages
|
|
#
|
|
# CONFIG_PKG_USING_OPENMV is not set
|
|
# CONFIG_PKG_USING_MUPDF is not set
|
|
|
|
#
|
|
# tools packages
|
|
#
|
|
# CONFIG_PKG_USING_CMBACKTRACE is not set
|
|
# CONFIG_PKG_USING_EASYFLASH is not set
|
|
# CONFIG_PKG_USING_EASYLOGGER is not set
|
|
# CONFIG_PKG_USING_SYSTEMVIEW is not set
|
|
|
|
#
|
|
# system packages
|
|
#
|
|
# CONFIG_PKG_USING_GUIENGINE is not set
|
|
# CONFIG_PKG_USING_PERSIMMON is not set
|
|
# CONFIG_PKG_USING_CAIRO is not set
|
|
# CONFIG_PKG_USING_PIXMAN is not set
|
|
# CONFIG_PKG_USING_LWEXT4 is not set
|
|
# CONFIG_PKG_USING_PARTITION is not set
|
|
# CONFIG_PKG_USING_FAL is not set
|
|
# CONFIG_PKG_USING_SQLITE is not set
|
|
# CONFIG_PKG_USING_RTI is not set
|
|
# CONFIG_PKG_USING_LITTLEVGL2RTT is not set
|
|
|
|
#
|
|
# peripheral libraries and drivers
|
|
#
|
|
# CONFIG_PKG_USING_STM32F4_HAL is not set
|
|
# CONFIG_PKG_USING_STM32F4_DRIVERS is not set
|
|
# CONFIG_PKG_USING_REALTEK_AMEBA is not set
|
|
# CONFIG_PKG_USING_SHT2X is not set
|
|
# CONFIG_PKG_USING_AHT10 is not set
|
|
|
|
#
|
|
# miscellaneous packages
|
|
#
|
|
# CONFIG_PKG_USING_LIBCSV is not set
|
|
# CONFIG_PKG_USING_OPTPARSE is not set
|
|
# CONFIG_PKG_USING_FASTLZ is not set
|
|
# CONFIG_PKG_USING_MINILZO is not set
|
|
# CONFIG_PKG_USING_QUICKLZ is not set
|
|
# CONFIG_PKG_USING_MULTIBUTTON is not set
|
|
# CONFIG_PKG_USING_CANFESTIVAL is not set
|
|
# CONFIG_PKG_USING_ZLIB is not set
|
|
# CONFIG_PKG_USING_DSTR is not set
|
|
|
|
#
|
|
# sample package
|
|
#
|
|
# CONFIG_PKG_USING_SAMPLES is not set
|
|
|
|
#
|
|
# example package: hello
|
|
#
|
|
# CONFIG_PKG_USING_HELLO is not set
|
|
CONFIG_SOC_VEXPRESS_GEMINI=y
|
|
# CONFIG_RT_USING_UART0 is not set
|
|
CONFIG_RT_USING_UART1=y
|