| CONFIG_RISCV=y |
| CONFIG_SYS_MALLOC_LEN=0x1000000 |
| CONFIG_NR_DRAM_BANKS=2 |
| CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y |
| CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x1000000 |
| CONFIG_DEFAULT_DEVICE_TREE="k1-bananapi-f3" |
| CONFIG_SYS_LOAD_ADDR=0x200000 |
| CONFIG_TARGET_BANANAPI_F3=y |
| CONFIG_ARCH_RV64I=y |
| CONFIG_RISCV_SMODE=y |
| CONFIG_FIT=y |
| CONFIG_SYS_BOOTM_LEN=0xa000000 |
| CONFIG_SUPPORT_RAW_INITRD=y |
| CONFIG_OF_BOARD_SETUP=y |
| CONFIG_SYS_CBSIZE=256 |
| CONFIG_SYS_PBSIZE=276 |
| CONFIG_HUSH_PARSER=y |
| CONFIG_ENV_OVERWRITE=y |
| CONFIG_SYS_NS16550=y |
| CONFIG_SYS_NS16550_MEM32=y |