CONFIG_RISCV=y CONFIG_SYS_TEXT_BASE=0x80020000 CONFIG_TARGET_SIPEED_MAIX=y CONFIG_ARCH_RV64I=y CONFIG_RISCV_SMODE=y CONFIG_STACK_SIZE=0x100000 # CONFIG_NET is not set # CONFIG_INPUT is not set # CONFIG_DM_ETH is not set # CONFIG_EFI_UNICODE_CAPITALIZATION is not set