diff --git a/configs/platforms/debian-13-armhf.rb b/configs/platforms/debian-13-armhf.rb
new file mode 100644
index 00000000..7dad1e61
--- /dev/null
+++ b/configs/platforms/debian-13-armhf.rb
@@ -0,0 +1,21 @@
+platform 'debian-13-armhf' do |plat|
+  plat.inherit_from_default
+  packages = [
+    'build-essential',
+    'cmake',
+    'debhelper',
+    'devscripts',
+    'fakeroot',
+    'libbz2-dev',
+    'libreadline-dev',
+    'libselinux1-dev',
+    'make',
+    'pkg-config',
+    'quilt',
+    'rsync',
+    'swig',
+    'systemtap-sdt-dev',
+    'zlib1g-dev'
+  ]
+  plat.provision_with "export DEBIAN_FRONTEND=noninteractive; apt-get update -qq; apt-get install -qy --no-install-recommends #{packages.join(' ')}"
+end