2019-05-28 19:17:51 +09:00
|
|
|
CONFIG_RISCV=y
|
2019-11-19 10:02:10 +09:00
|
|
|
CONFIG_ENV_SIZE=0x2000
|
2021-01-30 03:56:04 +09:00
|
|
|
CONFIG_DEFAULT_DEVICE_TREE="microchip-mpfs-icicle-kit"
|
2019-06-21 23:11:23 +09:00
|
|
|
CONFIG_TARGET_MICROCHIP_ICICLE=y
|
2020-07-28 21:46:52 +09:00
|
|
|
CONFIG_ARCH_RV64I=y
|
2021-01-15 11:50:40 +09:00
|
|
|
CONFIG_RISCV_SMODE=y
|
|
|
|
CONFIG_SBI_V01=y
|
|
|
|
CONFIG_DISTRO_DEFAULTS=y
|
2021-01-30 03:56:04 +09:00
|
|
|
CONFIG_FIT=y
|
2021-01-15 11:50:40 +09:00
|
|
|
CONFIG_DISPLAY_CPUINFO=y
|
|
|
|
CONFIG_DISPLAY_BOARDINFO=y
|
2019-05-28 19:17:51 +09:00
|
|
|
CONFIG_SYS_PROMPT="RISC-V # "
|
2019-11-13 12:46:36 +09:00
|
|
|
CONFIG_SYS_RELOC_GD_ENV_ADDR=y
|
2020-07-03 23:00:14 +09:00
|
|
|
CONFIG_BOOTP_SEND_HOSTNAME=y
|
2019-10-04 02:50:04 +09:00
|
|
|
CONFIG_DM_MTD=y
|