if ab_match_arch amd64; then
    _EDK2_TARGET="X64"
elif ab_match_arch arm64; then
    _EDK2_TARGET="AARCH64"
elif ab_match_arch loongarch64 || ab_match_arch loongarch64_nosimd; then
    _EDK2_TARGET="LOONGARCH64"
elif ab_match_arch riscv64; then
    _EDK2_TARGET="RISCV64"
fi

abinfo "Building EFI executable ($ARCH, ${_EDK2_TARGET}) ..."
# Note: Build system requires SctPkg to be on the same level as EDK2 sources.
ln -sv ./edk2-test/uefi-sct/SctPkg/ "$SRCDIR"/SctPkg
"$SRCDIR"/SctPkg/build.sh ${_EDK2_TARGET} GCC5 RELEASE

abinfo "Installing EFI executable $ARCH ${_EDK2_TARGET} ..."
mkdir -pv "$PKGDIR"/usr/share/SctPackage/
cp -av "$SRCDIR"/Build/UefiSct/RELEASE_GCC5/SctPackage${_EDK2_TARGET}/* \
    "$PKGDIR"/usr/share/SctPackage
