# Template file for 'atf-rk3399-bl31'
pkgname=atf-rk3399-bl31
version=2.6
revision=1
archs="aarch64*"
wrksrc="trusted-firmware-a-${version}"
hostmakedepends="cross-arm-none-eabi"
short_desc="ARM Trusted Firmware for Rockchip rk3399 boards (ARMv8, bl31 option)"
maintainer="Cameron Nemo <cnemo@tutanota.com>"
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=4e59f02ccb042d5d18c89c849701b96e6cf4b788709564405354b5d313d173f7
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
}
