update vc libraries and firmware for raspberry pi, make GPU mem configurable

mk/build.mk

@@ -123,6 +123,10 @@ POSTCONFIG=		-@\
 			touch .rebuild.bkeymaps;\
 			rebuild=1;\
 		fi; \
+		if [ "$$(grep ^ADK_TARGET_GPU_MEM .config|md5sum)" != "$$(grep ^ADK_TARGET_GPU_MEM .config.old|md5sum)" ];then \
+			touch .rebuild.bcm2835-bootloader;\
+			rebuild=1;\
+		fi; \
 		if [ "$$(grep ^ADK_KERNEL_ADDON .config|md5sum)" != "$$(grep ^ADK_KERNEL_ADDON .config.old|md5sum)" ];then \
 			make cleankernel;\
 		fi; \

package/bcm2835-bootloader/Makefile

@@ -4,11 +4,11 @@
 include ${TOPDIR}/rules.mk
 
 PKG_NAME:=		bcm2835-bootloader
-# actually 04ba1c03780ae708c9289bce14f56933e55e9c20 from 13.04.2014
-PKG_VERSION:=		0.8
+# actually git checkout from 03.06.2014
+PKG_VERSION:=		0.9
 PKG_RELEASE:=		1
-PKG_MD5SUM:=		08beaa7d66e7dd6b0ab58483d0f4ce40
-PKG_DESCR:=		bootloader for raspberry pi (bcm2835)
+PKG_MD5SUM:=		791aa3074029f0d2343fc2fc9b5d3d7c
+PKG_DESCR:=		bootloader for raspberry pi
 PKG_SECTION:=		base/boot
 PKG_URL:=		https://github.com/raspberrypi/firmware
 PKG_SITES:=		http://openadk.org/distfiles/
@@ -26,5 +26,7 @@ INSTALL_STYLE:=         manual
 do-install:
 	${INSTALL_DIR} ${IDIR_BCM2835_BOOTLOADER}/boot
 	${CP} ${WRKBUILD}/boot/* ${IDIR_BCM2835_BOOTLOADER}/boot/
+	printf "gpu_mem=$(ADK_TARGET_GPU_MEM)\n" >> \
+		${IDIR_BCM2835_BOOTLOADER}/boot/config.txt
 
 include ${TOPDIR}/mk/pkg-bottom.mk

package/bcm2835-vc/Makefile

@@ -4,10 +4,10 @@
 include ${TOPDIR}/rules.mk
 
 PKG_NAME:=		bcm2835-vc
-# actually 4855a45b118cb7b97b83e5160551db9813487c91 from 24.05.2014
-PKG_VERSION:=		0.6
+# actually git checkout from 03.06.2014
+PKG_VERSION:=		0.7
 PKG_RELEASE:=		1
-PKG_MD5SUM:=		06ef68599607e3f041ded24d431ca460
+PKG_MD5SUM:=		f91457e3894ac339deee765e69cdb5ab
 PKG_DESCR:=		videocore tools and libraries for raspberry pi
 PKG_SECTION:=		libs/video
 PKG_DEPENDS:=		libpthread

target/config/Config.in.target

@@ -275,3 +275,11 @@ config ADK_TARGET_PACKAGE_IPKG
 	  Create ipkg packages and use ipkg package management on the target.
 	  
 endchoice
+
+config ADK_TARGET_GPU_MEM
+	prompt "Target GPU Memory"
+	int
+	depends on ADK_TARGET_SYSTEM_RASPBERRY_PI
+	default 16
+	help
+	  use 128 or 256 when you use XBMC