| CONFIG_RISCV=y |
| CONFIG_SYS_MALLOC_LEN=0x800000 |
| CONFIG_SYS_MALLOC_F_LEN=0x3000 |
| CONFIG_NR_DRAM_BANKS=1 |
| CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y |
| CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x80200000 |
| CONFIG_DEFAULT_DEVICE_TREE="th1520-lichee-pi-4a" |
| CONFIG_SYS_BOOTM_LEN=0x4000000 |
| CONFIG_SYS_LOAD_ADDR=0x80200000 |
| # CONFIG_SMP is not set |
| CONFIG_TARGET_TH1520_LPI4A=y |
| CONFIG_ARCH_RV64I=y |
| CONFIG_OF_BOARD_FIXUP=y |
| CONFIG_SYS_BOOT_GET_CMDLINE=y |
| CONFIG_SYS_BOOT_GET_KBD=y |
| # CONFIG_EFI_LOADER is not set |
| CONFIG_FIT=y |
| # CONFIG_FIT_FULL_CHECK is not set |
| # CONFIG_FIT_PRINT is not set |
| # CONFIG_BOOTSTD is not set |
| # CONFIG_LEGACY_IMAGE_FORMAT is not set |
| CONFIG_DISTRO_DEFAULTS=y |
| CONFIG_BOOTARGS_SUBST=y |
| CONFIG_BOOTCOMMAND="" |
| CONFIG_DEFAULT_FDT_FILE="thead/th1520-lichee-pi-4a.dtb" |
| CONFIG_SYS_CBSIZE=256 |
| CONFIG_SYS_PBSIZE=276 |
| CONFIG_LOG=y |
| CONFIG_DISPLAY_CPUINFO=y |
| CONFIG_DISPLAY_BOARDINFO=y |
| CONFIG_DISPLAY_BOARDINFO_LATE=y |
| CONFIG_SYS_PROMPT="LPI4A=> " |
| CONFIG_CMD_CONFIG=y |
| CONFIG_CMD_LICENSE=y |
| CONFIG_CMD_BOOTZ=y |
| # CONFIG_BOOTM_NETBSD is not set |
| # CONFIG_BOOTM_PLAN9 is not set |
| # CONFIG_BOOTM_RTEMS is not set |
| # CONFIG_BOOTM_VXWORKS is not set |
| CONFIG_CMD_BOOTMENU=y |
| # CONFIG_CMD_ELF is not set |
| # CONFIG_CMD_IMI is not set |
| # CONFIG_CMD_XIMG is not set |
| # CONFIG_CMD_EXPORTENV is not set |
| # CONFIG_CMD_IMPORTENV is not set |
| # CONFIG_CMD_EDITENV is not set |
| # CONFIG_CMD_SAVEENV is not set |
| # CONFIG_CMD_CRC32 is not set |
| # CONFIG_CMD_MEMORY is not set |
| # CONFIG_CMD_LZMADEC is not set |
| # CONFIG_CMD_UNLZ4 is not set |
| # CONFIG_CMD_UNZIP is not set |
| # CONFIG_CMD_LOADB is not set |
| # CONFIG_CMD_LOADS is not set |
| # CONFIG_CMD_ITEST is not set |
| # CONFIG_CMD_SOURCE is not set |
| # CONFIG_CMD_SETEXPR is not set |
| # CONFIG_CMD_SLEEP is not set |
| CONFIG_PARTITION_TYPE_GUID=y |
| CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
| CONFIG_VERSION_VARIABLE=y |
| CONFIG_NO_NET=y |
| # CONFIG_BLOCK_CACHE is not set |
| # CONFIG_GPIO is not set |
| # CONFIG_I2C is not set |
| # CONFIG_INPUT is not set |
| # CONFIG_DM_MMC is not set |
| # CONFIG_MTD is not set |
| # CONFIG_POWER is not set |
| CONFIG_SYS_NS16550=y |
| CONFIG_RISCV_TIMER=y |
| CONFIG_AES=y |
| CONFIG_BLAKE2=y |
| CONFIG_SHA512=y |
| CONFIG_LZ4=y |
| CONFIG_LZMA=y |
| CONFIG_LZO=y |
| CONFIG_ZLIB_UNCOMPRESS=y |
| CONFIG_BZIP2=y |
| CONFIG_ZSTD=y |
| CONFIG_LIB_RATIONAL=y |