# Contributor: Marian Buschsieweke <marian.buschsieweke@ovgu.de>
# Maintainer: Timo Teräs <timo.teras@iki.fi>
pkgname=raspberrypi-bootloader
pkgver=1.20171029
pkgrel=0
pkgdesc="Bootloader files for the Raspberry Pi"
url=https://github.com/raspberrypi/firmware
arch="armhf"
license="custom"
depends=""
makedepends=""
install=
options="!check !strip"
source="$pkgname-$pkgver.tar.gz::https://github.com/raspberrypi/firmware/archive/$pkgver.tar.gz"
subpackages="$pkgname-x:bootloader_x"

builddir="${srcdir}/firmware-${pkgver}"
package() {
	cd "$builddir"/boot
	mkdir -p "$pkgdir"/boot
	cp bootcode.bin fixup.dat start.elf "$pkgdir"/boot/
}

bootloader_x() {
	pkgdesc="Extra codecs for the Raspberry Pi"
	depends="$pkgname"
	cd "$builddir"/boot
	mkdir -p "$subpkgdir"/boot
	cp start_x.elf start_cd.elf start_db.elf fixup_x.dat fixup_cd.dat fixup_db.dat "$subpkgdir"/boot/
}


sha512sums="654fd99a2b33e7813353a4bb71e7ca5ab1063c92f4a3aea74c3651c3a96b3bfb891986dcd18a3c6da39231828b71a2c00c64398555afd24c6eb9e9ad9813d897  raspberrypi-bootloader-1.20171029.tar.gz"