# Maintainer: Kevin Mihelich buildarch=28 pkgbase=raspberrypi-bootloader pkgname=('raspberrypi-bootloader' 'raspberrypi-bootloader-x') pkgver=20190715 pkgrel=1 _commit=cba4be275b9943b353ea2e5201ab2badd4c760e9 arch=('any') url="https://github.com/raspberrypi/firmware" license=('custom') options=(!strip) source=("https://github.com/raspberrypi/firmware/archive/${_commit}.tar.gz") md5sums=('76e9c1dc65a9703373f24931b7df5e54') 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 }