Add BCM2835 to Raspberry Pi detection

diff --git a/select-platform b/select-platform
index 90169cccac3fc8c48991e801383f13c890ade1a2..f74cc4ddee62c8d66d2faaf2a62828eaaecdd1ad 100755 (executable)
--- a/select-platform
+++ b/select-platform
@@ -4,6 +4,8 @@ if grep -q BCM2708 /proc/cpuinfo ; then
   echo "raspberry"
 elif grep -q BCM2709 /proc/cpuinfo ; then
   echo "raspberry"
+elif grep -q BCM2835 /proc/cpuinfo ; then
+  echo "raspberry"
 else
   echo "mvp"
 fi