|
@@ -570,30 +570,13 @@ CONFIG_RT_LIBC_FIXED_TIMEZONE=8
|
|
# CONFIG_PKG_USING_STATE_MACHINE is not set
|
|
# CONFIG_PKG_USING_STATE_MACHINE is not set
|
|
# CONFIG_PKG_USING_MCURSES is not set
|
|
# CONFIG_PKG_USING_MCURSES is not set
|
|
# CONFIG_PKG_USING_COWSAY is not set
|
|
# CONFIG_PKG_USING_COWSAY is not set
|
|
-CONFIG_OPPO_A55_SOC=y
|
|
|
|
-# CONFIG_BSP_SUPPORT_FPU is not set
|
|
|
|
|
|
+CONFIG_SOC_VIRT64_AARCH64=y
|
|
|
|
|
|
#
|
|
#
|
|
-# Hardware Drivers Config
|
|
|
|
-#
|
|
|
|
-
|
|
|
|
-#
|
|
|
|
-# BCM Peripheral Drivers
|
|
|
|
|
|
+# AARCH64 qemu virt64 configs
|
|
#
|
|
#
|
|
|
|
+CONFIG_BSP_SUPPORT_FPU=y
|
|
CONFIG_BSP_USING_UART=y
|
|
CONFIG_BSP_USING_UART=y
|
|
CONFIG_RT_USING_UART0=y
|
|
CONFIG_RT_USING_UART0=y
|
|
-# CONFIG_RT_USING_UART1 is not set
|
|
|
|
CONFIG_BSP_USING_GIC=y
|
|
CONFIG_BSP_USING_GIC=y
|
|
CONFIG_BSP_USING_GIC390=y
|
|
CONFIG_BSP_USING_GIC390=y
|
|
-CONFIG_BSP_USING_PIN=y
|
|
|
|
-# CONFIG_BSP_USING_SYSTIMER is not set
|
|
|
|
-# CONFIG_BSP_USING_I2C is not set
|
|
|
|
-# CONFIG_BSP_USING_SPI is not set
|
|
|
|
-# CONFIG_BSP_USING_WDT is not set
|
|
|
|
-# CONFIG_BSP_USING_RTC is not set
|
|
|
|
-# CONFIG_BSP_USING_SDIO is not set
|
|
|
|
-
|
|
|
|
-#
|
|
|
|
-# Board Peripheral Drivers
|
|
|
|
-#
|
|
|
|
-# CONFIG_BSP_USING_HDMI is not set
|
|
|