From a4416d4b168b75f602c39da2659494c42fede10a Mon Sep 17 00:00:00 2001
From: Nick Bolton <nick@synergy-project.org>
Date: Thu, 20 Mar 2014 23:40:05 +0000
Subject: [PATCH] arm distftp support

---
 ext/toolchain/commands1.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ext/toolchain/commands1.py b/ext/toolchain/commands1.py
index f39c378c..71b29b03 100644
--- a/ext/toolchain/commands1.py
+++ b/ext/toolchain/commands1.py
@@ -1136,6 +1136,9 @@ class InternalCommands:
 		print 'Done'
                 
         def getLinuxPlatform(self):
+		if os.uname()[4][:3] == 'arm':
+			return 'Linux-armv6l'
+
                 # os_bits should be loaded with '32bit' or '64bit'
                 import platform
                 (os_bits, other) = platform.architecture()