alarm/raspberrypi-firmware to 20120418-1

alarm/raspberrypi-firmware/PKGBUILD

@@ -2,7 +2,7 @@ plugrel=1
 noautobuild=1
 
 pkgname=raspberrypi-firmware
-pkgver=20120414
+pkgver=20120418
 pkgrel=1
 pkgdesc="Firmware files for Raspberry Pi"
 arch=('any')
@@ -10,10 +10,16 @@ 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"
 }
 

alarm/raspberrypi-firmware/cmdline.txt

@@ -0,0 +1 @@
+dwc_otg.dma_enable=1 dwc_otg.dma_burst_size=256 dwc_otg.lpm_enable=0 console=ttyAMA0,115200 kgdboc=ttyAMA0,115200 console=tty1 loglevel=2 smsc95xx.macaddr=08:00:28:00:60:01 root=/dev/mmcblk0p2 rootfstype=ext4 rootwait

alarm/raspberrypi-firmware/config.txt

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