added alarm/raspberrypi-firmware

alarm/raspberrypi-firmware/PKGBUILD

@@ -0,0 +1,25 @@
+plugrel=1
+noautobuild=1
+
+pkgname=raspberrypi-firmware
+pkgver=20120317
+pkgrel=1
+pkgdesc="Firmware files for Raspberry Pi"
+arch=('any')
+url="https://github.com/raspberrypi/firmware"
+license=('custom')
+provides=('raspberrypi-firmware')
+conflicts=()
+backup=(boot/{cmdline,config}.txt)
+replaces=()
+options=(!strip)
+source=(config.txt)
+md5sums=('0745afd44de4fe969b4ecb8d47d6a1c0')
+
+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}"
+}
+

alarm/raspberrypi-firmware/config.txt

@@ -0,0 +1,3 @@
+#hdmi_mode=19
+arm_freq=800
+enable_l2cache=1