2012-03-17 18:53:40 +00:00
|
|
|
plugrel=1
|
|
|
|
noautobuild=1
|
|
|
|
|
|
|
|
pkgname=raspberrypi-firmware
|
2012-04-28 04:37:35 +00:00
|
|
|
pkgver=20120427
|
2012-03-17 18:53:40 +00:00
|
|
|
pkgrel=1
|
|
|
|
pkgdesc="Firmware files for Raspberry Pi"
|
|
|
|
arch=('any')
|
|
|
|
url="https://github.com/raspberrypi/firmware"
|
2012-03-17 19:27:32 +00:00
|
|
|
makedepends=('git')
|
2012-03-17 18:53:40 +00:00
|
|
|
license=('custom')
|
|
|
|
options=(!strip)
|
2012-04-18 22:04:12 +00:00
|
|
|
source=("config.txt" "cmdline.txt")
|
2012-04-28 04:37:35 +00:00
|
|
|
md5sums=('4ac23968f7a23c435f468c88d6f34d05'
|
|
|
|
'e226755a6bb1b4beb229ce5d30780d0c')
|
2012-03-17 18:53:40 +00:00
|
|
|
|
|
|
|
package() {
|
2012-04-28 04:37:35 +00:00
|
|
|
git clone --depth 1 git://github.com/raspberrypi/firmware.git
|
2012-03-17 18:53:40 +00:00
|
|
|
rm "${srcdir}"/firmware/boot/kernel.img
|
2012-04-18 22:04:12 +00:00
|
|
|
cat "${srcdir}"/config.txt > "${srcdir}"/firmware/boot/config.txt
|
2012-03-17 18:53:40 +00:00
|
|
|
cp -R "${srcdir}"/firmware/{boot,opt} "${pkgdir}"
|
2012-04-18 22:04:12 +00:00
|
|
|
cat "${srcdir}/config.txt" > "${pkgdir}/boot/config.txt"
|
|
|
|
cat "${srcdir}/cmdline.txt" > "${pkgdir}/boot/cmdline.txt"
|
2012-03-17 18:53:40 +00:00
|
|
|
}
|