1CONFIG_RISCV=y
2CONFIG_SYS_TEXT_BASE=0x80020000
3CONFIG_TARGET_SIPEED_MAIX=y
4CONFIG_ARCH_RV64I=y
5CONFIG_RISCV_SMODE=y
6CONFIG_STACK_SIZE=0x100000
7# CONFIG_NET is not set
8# CONFIG_INPUT is not set
9# CONFIG_DM_ETH is not set
10# CONFIG_EFI_UNICODE_CAPITALIZATION is not set
11