plugrel=1 noautobuild=1 pkgname=raspberrypi-firmware pkgver=20120418 pkgrel=1 pkgdesc="Firmware files for Raspberry Pi" arch=('any') url="https://github.com/raspberrypi/firmware" makedepends=('git') license=('custom') options=(!strip) source=("config.txt" "cmdline.txt") md5sums=('be71647bac7ae236bd87aed642834cf2' 'ad75576a53e4bbd6bf53003f58f9ef74') package() { git clone git://github.com/raspberrypi/firmware.git rm "${srcdir}"/firmware/boot/kernel.img cat "${srcdir}"/config.txt > "${srcdir}"/firmware/boot/config.txt cp -R "${srcdir}"/firmware/{boot,opt} "${pkgdir}" cat "${srcdir}/config.txt" > "${pkgdir}/boot/config.txt" cat "${srcdir}/cmdline.txt" > "${pkgdir}/boot/cmdline.txt" }