# riscv64 via UEFI for all UEFI-enabled boards
declare -g BOARD_NAME="UEFI riscv64"
declare -g BOARDFAMILY="uefi-riscv64"
declare -g BOARD_MAINTAINER=""
declare -g KERNEL_TARGET="legacy,current,edge"
declare -g SERIALCON="ttyS0"