Index: configure
===================================================================
--- configure	(revision 107b01a853d2fa7848b6015136777f62881c1779)
+++ configure	(revision ec7f50a690f81a7dde8f8cc4df7497a0d3549c43)
@@ -3550,4 +3550,5 @@
 		"arm"        ) cannon_arch_name="arm";;
 		"ARM"        ) cannon_arch_name="arm";;
+		"armv7l"     ) cannon_arch_name="arm";;
 		*)
 		>&2 echo "Unkown architecture " $arch_name;
@@ -3590,4 +3591,5 @@
 		"arm"        ) cannon_arch_name="arm";;
 		"ARM"        ) cannon_arch_name="arm";;
+		"armv7l"     ) cannon_arch_name="arm";;
 		*)
 		>&2 echo "Unkown architecture " $arch_name;
