1*dde42ec6SJoseph ChenCONFIG_ARM64_BOOT_AARCH32=y 2*dde42ec6SJoseph Chen# CONFIG_ARM64_SUPPORT_AARCH32 is not set 3*dde42ec6SJoseph Chen# CONFIG_ARMV7_LPAE is not set 4*dde42ec6SJoseph ChenCONFIG_BASE_DEFCONFIG="rk3588_defconfig" 5*dde42ec6SJoseph ChenCONFIG_BOOTP_PXE_CLIENTARCH=0x15 6*dde42ec6SJoseph ChenCONFIG_BOOTP_VCI_STRING="U-Boot.armv7" 7*dde42ec6SJoseph ChenCONFIG_CPU_V7=y 8*dde42ec6SJoseph Chen# CONFIG_DEBUG_LL is not set 9*dde42ec6SJoseph Chen# CONFIG_GICV3 is not set 10*dde42ec6SJoseph ChenCONFIG_HAS_THUMB2=y 11*dde42ec6SJoseph ChenCONFIG_HAS_VBAR=y 12*dde42ec6SJoseph ChenCONFIG_HAVE_PRIVATE_LIBGCC=y 13*dde42ec6SJoseph Chen# CONFIG_PHYS_64BIT is not set 14*dde42ec6SJoseph Chen# CONFIG_SPL_DM_SERIAL is not set 15*dde42ec6SJoseph Chen# CONFIG_SPL_OF_LIBFDT is not set 16*dde42ec6SJoseph ChenCONFIG_SPL_SYS_THUMB_BUILD=y 17*dde42ec6SJoseph ChenCONFIG_SPL_USE_ARCH_MEMCPY=y 18*dde42ec6SJoseph ChenCONFIG_SPL_USE_ARCH_MEMSET=y 19*dde42ec6SJoseph ChenCONFIG_SYS_ARM_ARCH=7 20*dde42ec6SJoseph ChenCONFIG_SYS_CPU="armv7" 21*dde42ec6SJoseph ChenCONFIG_SYS_THUMB_BUILD=y 22*dde42ec6SJoseph Chen# CONFIG_TPL_DM_SERIAL is not set 23*dde42ec6SJoseph ChenCONFIG_TPL_USE_ARCH_MEMCPY=y 24*dde42ec6SJoseph ChenCONFIG_TPL_USE_ARCH_MEMSET=y 25*dde42ec6SJoseph ChenCONFIG_USE_ARCH_MEMCPY=y 26*dde42ec6SJoseph ChenCONFIG_USE_ARCH_MEMSET=y 27*dde42ec6SJoseph ChenCONFIG_USE_PRIVATE_LIBGCC=y 28