|
@@ -17,7 +17,7 @@ CONFIG_RT_THREAD_PRIORITY_MAX=32
|
|
CONFIG_RT_TICK_PER_SECOND=1000
|
|
CONFIG_RT_TICK_PER_SECOND=1000
|
|
CONFIG_RT_USING_HOOK=y
|
|
CONFIG_RT_USING_HOOK=y
|
|
CONFIG_RT_HOOK_USING_FUNC_PTR=y
|
|
CONFIG_RT_HOOK_USING_FUNC_PTR=y
|
|
-# CONFIG_RT_USING_HOOKLIST is not set
|
|
|
|
|
|
+CONFIG_RT_USING_HOOKLIST=y
|
|
CONFIG_RT_USING_IDLE_HOOK=y
|
|
CONFIG_RT_USING_IDLE_HOOK=y
|
|
CONFIG_RT_IDLE_HOOK_LIST_SIZE=4
|
|
CONFIG_RT_IDLE_HOOK_LIST_SIZE=4
|
|
CONFIG_IDLE_THREAD_STACK_SIZE=8192
|
|
CONFIG_IDLE_THREAD_STACK_SIZE=8192
|
|
@@ -25,7 +25,7 @@ CONFIG_RT_USING_TIMER_SOFT=y
|
|
CONFIG_RT_TIMER_THREAD_PRIO=4
|
|
CONFIG_RT_TIMER_THREAD_PRIO=4
|
|
CONFIG_RT_TIMER_THREAD_STACK_SIZE=8192
|
|
CONFIG_RT_TIMER_THREAD_STACK_SIZE=8192
|
|
# CONFIG_RT_USING_TIMER_ALL_SOFT is not set
|
|
# CONFIG_RT_USING_TIMER_ALL_SOFT is not set
|
|
-# CONFIG_RT_USING_CPU_USAGE_TRACER is not set
|
|
|
|
|
|
+CONFIG_RT_USING_CPU_USAGE_TRACER=y
|
|
|
|
|
|
#
|
|
#
|
|
# kservice optimization
|
|
# kservice optimization
|
|
@@ -83,7 +83,7 @@ CONFIG_RT_USING_DEVICE=y
|
|
CONFIG_RT_USING_DEVICE_OPS=y
|
|
CONFIG_RT_USING_DEVICE_OPS=y
|
|
# CONFIG_RT_USING_INTERRUPT_INFO is not set
|
|
# CONFIG_RT_USING_INTERRUPT_INFO is not set
|
|
# CONFIG_RT_USING_THREADSAFE_PRINTF is not set
|
|
# CONFIG_RT_USING_THREADSAFE_PRINTF is not set
|
|
-# CONFIG_RT_USING_SCHED_THREAD_CTX is not set
|
|
|
|
|
|
+CONFIG_RT_USING_SCHED_THREAD_CTX=y
|
|
CONFIG_RT_USING_CONSOLE=y
|
|
CONFIG_RT_USING_CONSOLE=y
|
|
CONFIG_RT_CONSOLEBUF_SIZE=256
|
|
CONFIG_RT_CONSOLEBUF_SIZE=256
|
|
CONFIG_RT_CONSOLE_DEVICE_NAME="uart0"
|
|
CONFIG_RT_CONSOLE_DEVICE_NAME="uart0"
|
|
@@ -771,6 +771,8 @@ CONFIG_RT_USING_ADT_REF=y
|
|
#
|
|
#
|
|
# STM32 HAL & SDK Drivers
|
|
# STM32 HAL & SDK Drivers
|
|
#
|
|
#
|
|
|
|
+# CONFIG_PKG_USING_STM32F4_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32F4_CMSIS_DRIVER is not set
|
|
# CONFIG_PKG_USING_STM32L4_HAL_DRIVER is not set
|
|
# CONFIG_PKG_USING_STM32L4_HAL_DRIVER is not set
|
|
# CONFIG_PKG_USING_STM32L4_CMSIS_DRIVER is not set
|
|
# CONFIG_PKG_USING_STM32L4_CMSIS_DRIVER is not set
|
|
# CONFIG_PKG_USING_STM32WB55_SDK is not set
|
|
# CONFIG_PKG_USING_STM32WB55_SDK is not set
|
|
@@ -1333,3 +1335,5 @@ CONFIG_SOC_TYPE_SG2002=y
|
|
# CONFIG_BOARD_TYPE_MILKV_DUO_SPINOR is not set
|
|
# CONFIG_BOARD_TYPE_MILKV_DUO_SPINOR is not set
|
|
CONFIG_BOARD_TYPE_MILKV_DUO256M=y
|
|
CONFIG_BOARD_TYPE_MILKV_DUO256M=y
|
|
# CONFIG_BOARD_TYPE_MILKV_DUO256M_SPINOR is not set
|
|
# CONFIG_BOARD_TYPE_MILKV_DUO256M_SPINOR is not set
|
|
|
|
+CONFIG_BSP_ROOTFS_TYPE_ROMFS=y
|
|
|
|
+# CONFIG_BSP_ROOTFS_TYPE_CROMFS is not set
|