From e576b441052872d9352f4a5c6e0f7fd178e50511 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sandro=20J=C3=A4ckel?= <sandro.jaeckel@gmail.com>
Date: Tue, 27 Sep 2022 01:48:51 +0200
Subject: [PATCH] dacbert: add 32bit platforms

---
 hosts/dacbert/default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/hosts/dacbert/default.nix b/hosts/dacbert/default.nix
index 6f55bfde..4f0b5109 100644
--- a/hosts/dacbert/default.nix
+++ b/hosts/dacbert/default.nix
@@ -76,6 +76,7 @@
     trustedUsers = [ "client" ];
     extraOptions = ''
       builders-use-substitutes = true
+      extra-platforms = armv6l-linux,armv7l-linux
     '';
     daemonCPUSchedPolicy = "idle";
     daemonIOSchedClass = "idle";