From 5d4415804c2e2fe6a3664b0a295fe2e0aaf64814 Mon Sep 17 00:00:00 2001
From: Gil Brechbuhler <gibre12@gmail.com>
Date: Sun, 28 Feb 2016 18:42:30 +0100
Subject: [PATCH 1/2] add support for arm (Raspberry pi's ARM here)
 architecture

---
 manifests/params.pp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/manifests/params.pp b/manifests/params.pp
index 3e597faf..0ce2d1cb 100644
--- a/manifests/params.pp
+++ b/manifests/params.pp
@@ -20,6 +20,7 @@
   case $::architecture {
     'x86_64', 'amd64': { $arch = 'amd64' }
     'i386':            { $arch = '386'   }
+    'armv61':          { $arch = 'arm'   }
     default:           {
       fail("Unsupported kernel architecture: ${::architecture}")
     }

From 972ad661eb329022894b57c976cd350641cef558 Mon Sep 17 00:00:00 2001
From: Gil Brechbuhler <gibre12@gmail.com>
Date: Mon, 7 Mar 2016 17:16:29 +0100
Subject: [PATCH 2/2] regex instead of full arm architecture name

---
 manifests/params.pp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manifests/params.pp b/manifests/params.pp
index 0ce2d1cb..67138ea7 100644
--- a/manifests/params.pp
+++ b/manifests/params.pp
@@ -20,7 +20,7 @@
   case $::architecture {
     'x86_64', 'amd64': { $arch = 'amd64' }
     'i386':            { $arch = '386'   }
-    'armv61':          { $arch = 'arm'   }
+    /^arm.*/:          { $arch = 'arm'   }
     default:           {
       fail("Unsupported kernel architecture: ${::architecture}")
     }