# Maintainer: Kevin Mihelich buildarch=28 pkgbase=raspberrypi-bootloader pkgname=('raspberrypi-bootloader' 'raspberrypi-bootloader-x') pkgver=20180824 pkgrel=1 _commit=200c2f4dd54b2048b5dcb8661ea3f232beb7d81e arch=('any') url="https://github.com/raspberrypi/firmware" license=('custom') options=(!strip) source=("https://github.com/raspberrypi/firmware/archive/${_commit}.tar.gz") md5sums=('e69962adc2ae0b048715376e09e3df5d') package_raspberrypi-bootloader() { pkgdesc="Bootloader files for Raspberry Pi" replaces=('raspberrypi-firmware-bootloader') mkdir -p "${pkgdir}"/boot cp "${srcdir}"/firmware-${_commit}/boot/{*.dat,*.bin,*.elf} "${pkgdir}"/boot rm "${pkgdir}"/boot/{start_x.elf,fixup_x.dat} } package_raspberrypi-bootloader-x() { pkgdesc="Bootloader with extra codecs for Raspberry Pi" depends=('raspberrypi-bootloader') replaces=('raspberrypi-firmware-bootloader-x') mkdir -p "${pkgdir}"/boot cp "${srcdir}"/firmware-${_commit}/boot/{start_x.elf,fixup_x.dat} "${pkgdir}"/boot }