1CONFIG_ARM64_BOOT_AARCH32=y 2# CONFIG_ARM64_SUPPORT_AARCH32 is not set 3# CONFIG_ARMV7_LPAE is not set 4CONFIG_BASE_DEFCONFIG="rk3588_defconfig" 5CONFIG_BOOTP_PXE_CLIENTARCH=0x15 6CONFIG_BOOTP_VCI_STRING="U-Boot.armv7" 7CONFIG_CPU_V7=y 8# CONFIG_DEBUG_LL is not set 9# CONFIG_GICV3 is not set 10CONFIG_HAS_THUMB2=y 11CONFIG_HAS_VBAR=y 12CONFIG_HAVE_PRIVATE_LIBGCC=y 13# CONFIG_PHYS_64BIT is not set 14# CONFIG_SPL_DM_SERIAL is not set 15# CONFIG_SPL_OF_LIBFDT is not set 16CONFIG_SPL_SYS_THUMB_BUILD=y 17CONFIG_SPL_USE_ARCH_MEMCPY=y 18CONFIG_SPL_USE_ARCH_MEMSET=y 19CONFIG_SYS_ARM_ARCH=7 20CONFIG_SYS_CPU="armv7" 21CONFIG_SYS_THUMB_BUILD=y 22# CONFIG_TPL_DM_SERIAL is not set 23CONFIG_TPL_USE_ARCH_MEMCPY=y 24CONFIG_TPL_USE_ARCH_MEMSET=y 25CONFIG_USE_ARCH_MEMCPY=y 26CONFIG_USE_ARCH_MEMSET=y 27CONFIG_USE_PRIVATE_LIBGCC=y 28