|
|
@@ -72,6 +72,7 @@ CONFIG_ARCH_CPU_64BIT=y
|
|
|
CONFIG_RT_USING_CACHE=y
|
|
|
# CONFIG_RT_USING_CPU_FFS is not set
|
|
|
# CONFIG_ARCH_CPU_STACK_GROWS_UPWARD is not set
|
|
|
+CONFIG_ARCH_MM_MMU=y
|
|
|
CONFIG_RT_USING_USERSPACE=y
|
|
|
CONFIG_KERNEL_VADDR_START=0x150000000
|
|
|
CONFIG_PV_OFFSET=0
|
|
|
@@ -96,6 +97,7 @@ CONFIG_RT_MAIN_THREAD_PRIORITY=10
|
|
|
#
|
|
|
CONFIG_RT_USING_FINSH=y
|
|
|
CONFIG_RT_USING_MSH=y
|
|
|
+CONFIG_FINSH_USING_MSH=y
|
|
|
CONFIG_FINSH_THREAD_NAME="tshell"
|
|
|
CONFIG_FINSH_USING_HISTORY=y
|
|
|
CONFIG_FINSH_HISTORY_LINES=5
|
|
|
@@ -129,6 +131,7 @@ CONFIG_RT_USING_DFS_ROMFS=y
|
|
|
# Device Drivers
|
|
|
#
|
|
|
CONFIG_RT_USING_DEVICE_IPC=y
|
|
|
+CONFIG_RT_UNAMED_PIPE_NUMBER=64
|
|
|
CONFIG_RT_PIPE_BUFSZ=512
|
|
|
# CONFIG_RT_USING_SYSTEM_WORKQUEUE is not set
|
|
|
CONFIG_RT_USING_SERIAL=y
|
|
|
@@ -173,6 +176,7 @@ CONFIG_RT_USING_PIN=y
|
|
|
CONFIG_RT_USING_LIBC=y
|
|
|
# CONFIG_RT_USING_NEWLIB is not set
|
|
|
CONFIG_RT_USING_MUSL=y
|
|
|
+# CONFIG_RT_USING_MLIB is not set
|
|
|
# CONFIG_RT_USING_PTHREADS is not set
|
|
|
CONFIG_RT_USING_POSIX=y
|
|
|
# CONFIG_RT_USING_POSIX_MMAP is not set
|
|
|
@@ -221,11 +225,10 @@ CONFIG_RT_USING_POSIX_CLOCKTIME=y
|
|
|
CONFIG_RT_USING_LWP=y
|
|
|
CONFIG_RT_LWP_MAX_NR=30
|
|
|
CONFIG_LWP_TASK_STACK_SIZE=16384
|
|
|
-# CONFIG_RT_USING_GDBSERVER is not set
|
|
|
CONFIG_RT_CH_MSG_MAX_NR=1024
|
|
|
-CONFIG_RT_LWP_SHM_MAX_NR=64
|
|
|
CONFIG_LWP_CONSOLE_INPUT_BUFFER_SIZE=1024
|
|
|
CONFIG_LWP_TID_MAX_NR=64
|
|
|
+CONFIG_RT_LWP_SHM_MAX_NR=64
|
|
|
# CONFIG_LWP_UNIX98_PTY is not set
|
|
|
|
|
|
#
|
|
|
@@ -275,6 +278,7 @@ CONFIG_LWP_TID_MAX_NR=64
|
|
|
# CONFIG_PKG_USING_AT_DEVICE is not set
|
|
|
# CONFIG_PKG_USING_ATSRV_SOCKET is not set
|
|
|
# CONFIG_PKG_USING_WIZNET is not set
|
|
|
+# CONFIG_PKG_USING_ZB_COORDINATOR is not set
|
|
|
|
|
|
#
|
|
|
# IoT Cloud
|
|
|
@@ -315,6 +319,12 @@ CONFIG_LWP_TID_MAX_NR=64
|
|
|
# CONFIG_PKG_USING_AGILE_MODBUS is not set
|
|
|
# CONFIG_PKG_USING_AGILE_FTP is not set
|
|
|
# CONFIG_PKG_USING_EMBEDDEDPROTO is not set
|
|
|
+# CONFIG_PKG_USING_RT_LINK_HW is not set
|
|
|
+# CONFIG_PKG_USING_LORA_PKT_FWD is not set
|
|
|
+# CONFIG_PKG_USING_LORA_GW_DRIVER_LIB is not set
|
|
|
+# CONFIG_PKG_USING_LORA_PKT_SNIFFER is not set
|
|
|
+# CONFIG_PKG_USING_HM is not set
|
|
|
+# CONFIG_PKG_USING_SMALL_MODBUS is not set
|
|
|
|
|
|
#
|
|
|
# security packages
|
|
|
@@ -331,10 +341,17 @@ CONFIG_LWP_TID_MAX_NR=64
|
|
|
# CONFIG_PKG_USING_LUA is not set
|
|
|
# CONFIG_PKG_USING_JERRYSCRIPT is not set
|
|
|
# CONFIG_PKG_USING_MICROPYTHON is not set
|
|
|
+# CONFIG_PKG_USING_PIKASCRIPT is not set
|
|
|
|
|
|
#
|
|
|
# multimedia packages
|
|
|
#
|
|
|
+
|
|
|
+#
|
|
|
+# LVGL: powerful and easy-to-use embedded GUI library
|
|
|
+#
|
|
|
+# CONFIG_PKG_USING_LITTLEVGL2RTT is not set
|
|
|
+# CONFIG_PKG_USING_LVGL is not set
|
|
|
# CONFIG_PKG_USING_OPENMV is not set
|
|
|
# CONFIG_PKG_USING_MUPDF is not set
|
|
|
# CONFIG_PKG_USING_STEMWIN is not set
|
|
|
@@ -344,6 +361,16 @@ CONFIG_LWP_TID_MAX_NR=64
|
|
|
# CONFIG_PKG_USING_HELIX is not set
|
|
|
# CONFIG_PKG_USING_AZUREGUIX is not set
|
|
|
# CONFIG_PKG_USING_TOUCHGFX2RTT is not set
|
|
|
+# CONFIG_PKG_USING_NUEMWIN is not set
|
|
|
+# CONFIG_PKG_USING_MP3PLAYER is not set
|
|
|
+# CONFIG_PKG_USING_TINYJPEG is not set
|
|
|
+# CONFIG_PKG_USING_UGUI is not set
|
|
|
+
|
|
|
+#
|
|
|
+# u8g2: a monochrome graphic library
|
|
|
+#
|
|
|
+# CONFIG_PKG_USING_U8G2_OFFICIAL is not set
|
|
|
+# CONFIG_PKG_USING_U8G2 is not set
|
|
|
|
|
|
#
|
|
|
# tools packages
|
|
|
@@ -352,6 +379,7 @@ CONFIG_LWP_TID_MAX_NR=64
|
|
|
# CONFIG_PKG_USING_EASYFLASH is not set
|
|
|
# CONFIG_PKG_USING_EASYLOGGER is not set
|
|
|
# CONFIG_PKG_USING_SYSTEMVIEW is not set
|
|
|
+# CONFIG_PKG_USING_SEGGER_RTT is not set
|
|
|
# CONFIG_PKG_USING_RDB is not set
|
|
|
# CONFIG_PKG_USING_QRCODE is not set
|
|
|
# CONFIG_PKG_USING_ULOG_EASYFLASH is not set
|
|
|
@@ -385,10 +413,36 @@ CONFIG_LWP_TID_MAX_NR=64
|
|
|
# CONFIG_PKG_USING_MEM_SANDBOX is not set
|
|
|
# CONFIG_PKG_USING_SOLAR_TERMS is not set
|
|
|
# CONFIG_PKG_USING_GAN_ZHI is not set
|
|
|
+# CONFIG_PKG_USING_FDT is not set
|
|
|
|
|
|
#
|
|
|
# system packages
|
|
|
#
|
|
|
+
|
|
|
+#
|
|
|
+# acceleration: Assembly language or algorithmic acceleration packages
|
|
|
+#
|
|
|
+# CONFIG_PKG_USING_RT_MEMCPY_CM is not set
|
|
|
+# CONFIG_PKG_USING_QFPLIB_M0_FULL is not set
|
|
|
+# CONFIG_PKG_USING_QFPLIB_M0_TINY is not set
|
|
|
+# CONFIG_PKG_USING_QFPLIB_M3 is not set
|
|
|
+
|
|
|
+#
|
|
|
+# CMSIS: ARM Cortex-M Microcontroller Software Interface Standard
|
|
|
+#
|
|
|
+# CONFIG_PKG_USING_CMSIS_5 is not set
|
|
|
+# CONFIG_PKG_USING_CMSIS_5_AUX is not set
|
|
|
+# CONFIG_PKG_USING_CMSIS_RTOS2 is not set
|
|
|
+
|
|
|
+#
|
|
|
+# Micrium: Micrium software products porting for RT-Thread
|
|
|
+#
|
|
|
+# CONFIG_PKG_USING_UCOSIII_WRAPPER is not set
|
|
|
+# CONFIG_PKG_USING_UCOSII_WRAPPER is not set
|
|
|
+# CONFIG_PKG_USING_UC_CRC is not set
|
|
|
+# CONFIG_PKG_USING_UC_CLK is not set
|
|
|
+# CONFIG_PKG_USING_UC_COMMON is not set
|
|
|
+# CONFIG_PKG_USING_UC_MODBUS is not set
|
|
|
# CONFIG_PKG_USING_GUIENGINE is not set
|
|
|
# CONFIG_PKG_USING_CAIRO is not set
|
|
|
# CONFIG_PKG_USING_PIXMAN is not set
|
|
|
@@ -397,8 +451,6 @@ CONFIG_LWP_TID_MAX_NR=64
|
|
|
# CONFIG_PKG_USING_FLASHDB is not set
|
|
|
# CONFIG_PKG_USING_SQLITE is not set
|
|
|
# CONFIG_PKG_USING_RTI is not set
|
|
|
-# CONFIG_PKG_USING_LITTLEVGL2RTT is not set
|
|
|
-# CONFIG_PKG_USING_CMSIS is not set
|
|
|
# CONFIG_PKG_USING_DFS_YAFFS is not set
|
|
|
# CONFIG_PKG_USING_LITTLEFS is not set
|
|
|
# CONFIG_PKG_USING_DFS_JFFS2 is not set
|
|
|
@@ -413,26 +465,16 @@ CONFIG_LWP_TID_MAX_NR=64
|
|
|
# CONFIG_PKG_USING_RAMDISK is not set
|
|
|
# CONFIG_PKG_USING_MININI is not set
|
|
|
# CONFIG_PKG_USING_QBOOT is not set
|
|
|
-
|
|
|
-#
|
|
|
-# Micrium: Micrium software products porting for RT-Thread
|
|
|
-#
|
|
|
-# CONFIG_PKG_USING_UCOSIII_WRAPPER is not set
|
|
|
-# CONFIG_PKG_USING_UCOSII_WRAPPER is not set
|
|
|
-# CONFIG_PKG_USING_UC_CRC is not set
|
|
|
-# CONFIG_PKG_USING_UC_CLK is not set
|
|
|
-# CONFIG_PKG_USING_UC_COMMON is not set
|
|
|
-# CONFIG_PKG_USING_UC_MODBUS is not set
|
|
|
# CONFIG_PKG_USING_PPOOL is not set
|
|
|
# CONFIG_PKG_USING_OPENAMP is not set
|
|
|
# CONFIG_PKG_USING_RT_KPRINTF_THREADSAFE is not set
|
|
|
-# CONFIG_PKG_USING_RT_MEMCPY_CM is not set
|
|
|
-# CONFIG_PKG_USING_QFPLIB_M0_FULL is not set
|
|
|
-# CONFIG_PKG_USING_QFPLIB_M0_TINY is not set
|
|
|
-# CONFIG_PKG_USING_QFPLIB_M3 is not set
|
|
|
# CONFIG_PKG_USING_LPM is not set
|
|
|
# CONFIG_PKG_USING_TLSF is not set
|
|
|
# CONFIG_PKG_USING_EVENT_RECORDER is not set
|
|
|
+# CONFIG_PKG_USING_ARM_2D is not set
|
|
|
+# CONFIG_PKG_USING_WCWIDTH is not set
|
|
|
+# CONFIG_PKG_USING_MCUBOOT is not set
|
|
|
+# CONFIG_PKG_USING_TINYUSB is not set
|
|
|
|
|
|
#
|
|
|
# peripheral libraries and drivers
|
|
|
@@ -444,7 +486,6 @@ CONFIG_LWP_TID_MAX_NR=64
|
|
|
# CONFIG_PKG_USING_AS7341 is not set
|
|
|
# CONFIG_PKG_USING_STM32_SDIO is not set
|
|
|
# CONFIG_PKG_USING_ICM20608 is not set
|
|
|
-# CONFIG_PKG_USING_U8G2 is not set
|
|
|
# CONFIG_PKG_USING_BUTTON is not set
|
|
|
# CONFIG_PKG_USING_PCF8574 is not set
|
|
|
# CONFIG_PKG_USING_SX12XX is not set
|
|
|
@@ -457,7 +498,6 @@ CONFIG_LWP_TID_MAX_NR=64
|
|
|
# CONFIG_PKG_USING_WM_LIBRARIES is not set
|
|
|
# CONFIG_PKG_USING_KENDRYTE_SDK is not set
|
|
|
# CONFIG_PKG_USING_INFRARED is not set
|
|
|
-# CONFIG_PKG_USING_ROSSERIAL is not set
|
|
|
# CONFIG_PKG_USING_AGILE_BUTTON is not set
|
|
|
# CONFIG_PKG_USING_AGILE_LED is not set
|
|
|
# CONFIG_PKG_USING_AT24CXX is not set
|
|
|
@@ -501,6 +541,17 @@ CONFIG_LWP_TID_MAX_NR=64
|
|
|
# CONFIG_PKG_USING_LIBNFC is not set
|
|
|
# CONFIG_PKG_USING_MFOC is not set
|
|
|
# CONFIG_PKG_USING_TMC51XX is not set
|
|
|
+# CONFIG_PKG_USING_TCA9534 is not set
|
|
|
+# CONFIG_PKG_USING_KOBUKI is not set
|
|
|
+# CONFIG_PKG_USING_ROSSERIAL is not set
|
|
|
+# CONFIG_PKG_USING_MICRO_ROS is not set
|
|
|
+# CONFIG_PKG_USING_MCP23008 is not set
|
|
|
+# CONFIG_PKG_USING_BLUETRUM_SDK is not set
|
|
|
+# CONFIG_PKG_USING_MISAKA_AT24CXX is not set
|
|
|
+# CONFIG_PKG_USING_MISAKA_RGB_BLING is not set
|
|
|
+# CONFIG_PKG_USING_BL_MCU_SDK is not set
|
|
|
+# CONFIG_PKG_USING_SOFT_SERIAL is not set
|
|
|
+# CONFIG_PKG_USING_MB85RS16 is not set
|
|
|
|
|
|
#
|
|
|
# AI packages
|
|
|
@@ -518,6 +569,27 @@ CONFIG_LWP_TID_MAX_NR=64
|
|
|
#
|
|
|
# miscellaneous packages
|
|
|
#
|
|
|
+
|
|
|
+#
|
|
|
+# samples: kernel and components samples
|
|
|
+#
|
|
|
+# CONFIG_PKG_USING_KERNEL_SAMPLES is not set
|
|
|
+# CONFIG_PKG_USING_FILESYSTEM_SAMPLES is not set
|
|
|
+# CONFIG_PKG_USING_NETWORK_SAMPLES is not set
|
|
|
+# CONFIG_PKG_USING_PERIPHERAL_SAMPLES is not set
|
|
|
+
|
|
|
+#
|
|
|
+# entertainment: terminal games and other interesting software packages
|
|
|
+#
|
|
|
+# CONFIG_PKG_USING_CMATRIX is not set
|
|
|
+# CONFIG_PKG_USING_SL is not set
|
|
|
+# CONFIG_PKG_USING_CAL is not set
|
|
|
+# CONFIG_PKG_USING_ACLOCK is not set
|
|
|
+# CONFIG_PKG_USING_THREES is not set
|
|
|
+# CONFIG_PKG_USING_2048 is not set
|
|
|
+# CONFIG_PKG_USING_SNAKE is not set
|
|
|
+# CONFIG_PKG_USING_TETRIS is not set
|
|
|
+# CONFIG_PKG_USING_DONUT is not set
|
|
|
# CONFIG_PKG_USING_LIBCSV is not set
|
|
|
# CONFIG_PKG_USING_OPTPARSE is not set
|
|
|
# CONFIG_PKG_USING_FASTLZ is not set
|
|
|
@@ -528,20 +600,13 @@ CONFIG_LWP_TID_MAX_NR=64
|
|
|
# CONFIG_PKG_USING_FLEXIBLE_BUTTON is not set
|
|
|
# CONFIG_PKG_USING_CANFESTIVAL is not set
|
|
|
# CONFIG_PKG_USING_ZLIB is not set
|
|
|
+# CONFIG_PKG_USING_MINIZIP is not set
|
|
|
# CONFIG_PKG_USING_DSTR is not set
|
|
|
# CONFIG_PKG_USING_TINYFRAME is not set
|
|
|
# CONFIG_PKG_USING_KENDRYTE_DEMO is not set
|
|
|
# CONFIG_PKG_USING_DIGITALCTRL is not set
|
|
|
# CONFIG_PKG_USING_UPACKER is not set
|
|
|
# CONFIG_PKG_USING_UPARAM is not set
|
|
|
-
|
|
|
-#
|
|
|
-# samples: kernel and components samples
|
|
|
-#
|
|
|
-# CONFIG_PKG_USING_KERNEL_SAMPLES is not set
|
|
|
-# CONFIG_PKG_USING_FILESYSTEM_SAMPLES is not set
|
|
|
-# CONFIG_PKG_USING_NETWORK_SAMPLES is not set
|
|
|
-# CONFIG_PKG_USING_PERIPHERAL_SAMPLES is not set
|
|
|
# CONFIG_PKG_USING_HELLO is not set
|
|
|
# CONFIG_PKG_USING_VI is not set
|
|
|
# CONFIG_PKG_USING_KI is not set
|
|
|
@@ -549,20 +614,11 @@ CONFIG_LWP_TID_MAX_NR=64
|
|
|
# CONFIG_PKG_USING_VT100 is not set
|
|
|
# CONFIG_PKG_USING_UKAL is not set
|
|
|
# CONFIG_PKG_USING_CRCLIB is not set
|
|
|
-
|
|
|
-#
|
|
|
-# entertainment: terminal games and other interesting software packages
|
|
|
-#
|
|
|
-# CONFIG_PKG_USING_THREES is not set
|
|
|
-# CONFIG_PKG_USING_2048 is not set
|
|
|
-# CONFIG_PKG_USING_SNAKE is not set
|
|
|
-# CONFIG_PKG_USING_TETRIS is not set
|
|
|
-# CONFIG_PKG_USING_DONUT is not set
|
|
|
-# CONFIG_PKG_USING_ACLOCK is not set
|
|
|
# CONFIG_PKG_USING_LWGPS is not set
|
|
|
# CONFIG_PKG_USING_STATE_MACHINE is not set
|
|
|
# CONFIG_PKG_USING_MCURSES is not set
|
|
|
# CONFIG_PKG_USING_COWSAY is not set
|
|
|
+# CONFIG_PKG_USING_TERMBOX is not set
|
|
|
CONFIG_BOARD_virt=y
|
|
|
|
|
|
#
|