|
@@ -417,6 +417,7 @@ CONFIG_RT_LIBC_TZ_DEFAULT_SEC=0
|
|
|
# CONFIG_PKG_USING_JSMN is not set
|
|
|
# CONFIG_PKG_USING_AGILE_JSMN is not set
|
|
|
# CONFIG_PKG_USING_PARSON is not set
|
|
|
+# CONFIG_PKG_USING_RYAN_JSON is not set
|
|
|
# end of JSON: JavaScript Object Notation, a lightweight data-interchange format
|
|
|
|
|
|
#
|
|
@@ -627,6 +628,8 @@ CONFIG_RT_LIBC_TZ_DEFAULT_SEC=0
|
|
|
#
|
|
|
# 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_CMSIS_DRIVER is not set
|
|
|
# CONFIG_PKG_USING_STM32WB55_SDK is not set
|
|
@@ -821,6 +824,7 @@ CONFIG_RT_LIBC_TZ_DEFAULT_SEC=0
|
|
|
# CONFIG_PKG_USING_SYSTEM_RUN_LED is not set
|
|
|
# CONFIG_PKG_USING_BT_MX01 is not set
|
|
|
# CONFIG_PKG_USING_RGPOWER is not set
|
|
|
+# CONFIG_PKG_USING_BT_MX02 is not set
|
|
|
# CONFIG_PKG_USING_SPI_TOOLS is not set
|
|
|
# end of peripheral libraries and drivers
|
|
|
|
|
@@ -1177,7 +1181,7 @@ CONFIG_UART_IRQ_BASE=30
|
|
|
|
|
|
CONFIG_BSP_USING_C906_LITTLE=y
|
|
|
CONFIG_PLIC_PHY_ADDR=0x70000000
|
|
|
-CONFIG_IRQ_MAX_NR=128
|
|
|
+CONFIG_IRQ_MAX_NR=61
|
|
|
CONFIG_TIMER_CLK_FREQ=25000000
|
|
|
CONFIG_GPIO_IRQ_BASE=41
|
|
|
CONFIG_SYS_GPIO_IRQ_BASE=47
|