12 config SYS_CONFIG_NAME
16 default 0x81200000 if SPL
17 default 0x80000000 if !RISCV_SMODE
18 default 0x80200000 if RISCV_SMODE && ARCH_RV64I
19 default 0x80400000 if RISCV_SMODE && ARCH_RV32I
24 config SPL_OPENSBI_LOAD_ADDR
28 config BOARD_SPECIFIC_OPTIONS # dummy
54 imply PCIE_ECAM_GENERIC
59 imply HTIF_CONSOLE if 64BIT
61 imply SYSRESET_CMD_POWEROFF
69 imply OF_HAS_PRIOR_STAGE