arm: use raspberry pi platform
authorThomas Ingleby <thomas.c.ingleby@intel.com>
Fri, 21 Nov 2014 02:04:08 +0000 (02:04 +0000)
committerThomas Ingleby <thomas.c.ingleby@intel.com>
Mon, 8 Dec 2014 15:41:16 +0000 (15:41 +0000)
commit953d7af7e0aac43fffa774a167254195519af3d9
tree238de7fc31e26a44ded6b851c08c2c75a270e864
parentea38d8c3973abb777622381c9ade5df902b599b4
arm: use raspberry pi platform

As it is the only currently supported ARM platform. It defaults to RPi

Signed-off-by: Thomas Ingleby <thomas.c.ingleby@intel.com>
src/arm/arm.c