diff --git a/nixbld-etc-nixos/configuration.nix b/nixbld-etc-nixos/configuration.nix
index 0b82fc8e..0b50d2aa 100644
--- a/nixbld-etc-nixos/configuration.nix
+++ b/nixbld-etc-nixos/configuration.nix
@@ -148,7 +148,7 @@ in
 
       no-resolv
 
-      # Static IPv4s to make Red Pitayas less annoying
+      # Static IPv4s to make Red Pitayas with factory firmware less annoying
       dhcp-host=rp-f05cc9,192.168.1.190
       dhcp-host=rp-f0612e,192.168.1.191
       # Static IPv4s to make port redirections work
@@ -165,6 +165,8 @@ in
       address=/zynq-experiments/192.168.1.51
       address=/zc706/192.168.1.52
       address=/zc706-2/192.168.1.53
+      address=/cora-z7/192.168.1.54
+      address=/rust-pitaya/192.168.1.55
       address=/sayma/192.168.1.60
       address=/metlino/192.168.1.65
       address=/kasli/192.168.1.70