# aarch64 via UEFI for all UEFI-enabled boards
declare -g BOARD_NAME="UEFI arm64"
declare -g BOARD_VENDOR="generic"
declare -g BOARDFAMILY="uefi-arm64"
declare -g BOARD_MAINTAINER="rpardini"
declare -g KERNEL_TARGET="current,edge,legacy,cloud"
declare -g KERNEL_TEST_TARGET="current"
declare -g BOOT_LOGO=desktop