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