# Template file for 'atf-rk3399-bl31'
pkgname=atf-rk3399-bl31
version=2.7
revision=1
archs="aarch64*"
hostmakedepends="cross-arm-none-eabi"
short_desc="ARM Trusted Firmware for Rockchip rk3399 boards (ARMv8, bl31 option)"
maintainer="Orphaned <orphan@voidlinux.org>"
license="BSD-3-Clause"
homepage="https://developer.trustedfirmware.org/dashboard/view/6/"
distfiles="https://git.trustedfirmware.org/TF-A/trusted-firmware-a.git/snapshot/trusted-firmware-a-${version}.tar.gz"
checksum=53422dc649153838e03820330ba17cb10afe3e330ecde0db11e4d5f1361a33e6
nostrip=yes

post_patch() {
	# Adjust the baud rate to match uboot and the kernel for the PBP
	vsed -i -e 's/\(RK3399_BAUDRATE\s*\)115200/\11500000/' \
		plat/rockchip/rk3399/rk3399_def.h
}

do_build() {
	unset CFLAGS CXXFLAGS CPPFLAGS LDFLAGS
	if [ "$CROSS_BUILD" ]; then
		export CROSS_COMPILE=${XBPS_CROSS_TRIPLET}-
	fi
	make ${makejobs} PLAT=rk3399 bl31
}

do_install() {
	vinstall build/rk3399/release/bl31/bl31.elf 0755 usr/lib/trusted-firmware-a/rk3399
	vlicense docs/license.rst
}
