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