Build the Raspberry Pi code.

--HG--
branch : dtrg-videocore

Makefile

@@ -54,6 +54,8 @@ CFLAGS += \
 
 LDFLAGS +=
 
+ACKFLAGS = -Ih
+
 all: installables
 
 .DELETE_ON_ERROR:
@@ -101,6 +103,7 @@ include mach/i386/build.mk
 include mach/i86/build.mk
 include mach/m68020/build.mk
 # include mach/powerpc/build.mk
+include mach/vc4/build.mk
 
 include plat/build.mk
 include plat/pc86/build.mk
@@ -108,6 +111,7 @@ include plat/cpm/build.mk
 include plat/linux386/build.mk
 include plat/linux68k/build.mk
 # include plat/linuxppc/build.mk
+include plat/rpi/build.mk
 
 .PHONY: installables
 installables: $(INSTALLABLES)

README

@@ -32,6 +32,7 @@ pc86          produces bootable floppy disk images for 8086 PCs
 linux386      produces ELF executables for PC Linux systems
 linux68k      produces ELF executables for m68020 Linux systems
 cpm           produces i80 CP/M .COM files
+rpi           produces Raspberry Pi GPU binaries
 
 
 INSTALLATION
@@ -124,7 +125,7 @@ GOTCHAS
 
 There are some things you should be aware of.
 
-- Look at plat/<PLATFORMNAME>/README for information about the two supported
+- Look at plat/<PLATFORMNAME>/README for information about the supported
   platforms.
   
 - The library support is fairly limited; for C, it's at roughly the ANSI C