1CONFIG_RISCV=y
2CONFIG_ENV_SIZE=0x2000
3CONFIG_DEFAULT_DEVICE_TREE="microchip-mpfs-icicle-kit"
4CONFIG_TARGET_MICROCHIP_ICICLE=y
5CONFIG_ARCH_RV64I=y
6CONFIG_RISCV_SMODE=y
7CONFIG_SBI_V01=y
8CONFIG_DISTRO_DEFAULTS=y
9CONFIG_FIT=y
10CONFIG_DISPLAY_CPUINFO=y
11CONFIG_DISPLAY_BOARDINFO=y
12CONFIG_SYS_PROMPT="RISC-V # "
13CONFIG_SYS_RELOC_GD_ENV_ADDR=y
14CONFIG_BOOTP_SEND_HOSTNAME=y
15CONFIG_DM_MTD=y
16