By default DEBUG_UART uses the SBI DBCN extension on S-Mode RISC-V platforms, but the Icicle Kit's firmware doesn't support it. Since DEBUG_UART is getting turned on automagically and this is somewhat misleading, disable it in the Icicle kit's defconfig. Signed-off-by: Conor Dooley <conor.dooley@microchip.com> Reviewed-by: Leo Yu-Chi Liang <ycliang@andestech.com>
27 lines
739 B
Plaintext
27 lines
739 B
Plaintext
CONFIG_RISCV=y
|
|
CONFIG_SYS_MALLOC_LEN=0x800000
|
|
CONFIG_SYS_MALLOC_F_LEN=0x2000
|
|
CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
|
|
CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x80200000
|
|
CONFIG_ENV_SIZE=0x2000
|
|
CONFIG_DEFAULT_DEVICE_TREE="microchip/mpfs-icicle-kit"
|
|
CONFIG_SYS_LOAD_ADDR=0x80200000
|
|
CONFIG_SYS_MEM_TOP_HIDE=0x400000
|
|
# CONFIG_DEBUG_UART is not set
|
|
CONFIG_TARGET_MICROCHIP_ICICLE=y
|
|
CONFIG_ARCH_RV64I=y
|
|
CONFIG_RISCV_SMODE=y
|
|
CONFIG_FIT=y
|
|
CONFIG_DISTRO_DEFAULTS=y
|
|
CONFIG_DEFAULT_FDT_FILE="microchip/mpfs-icicle-kit.dtb"
|
|
CONFIG_SYS_CBSIZE=256
|
|
CONFIG_SYS_PBSIZE=282
|
|
CONFIG_DISPLAY_CPUINFO=y
|
|
CONFIG_DISPLAY_BOARDINFO=y
|
|
CONFIG_SYS_PROMPT="RISC-V # "
|
|
CONFIG_OF_UPSTREAM=y
|
|
CONFIG_ENV_RELOC_GD_ENV_ADDR=y
|
|
CONFIG_BOOTP_SEND_HOSTNAME=y
|
|
CONFIG_DM_MTD=y
|
|
CONFIG_SYSRESET=y
|