From 1a3c57864da7004db734c2ce025e4f227980f6eb Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Sat, 4 Jul 2020 17:37:04 +0800
Subject: [PATCH] zynq: fix rpi4 host key problems

---
 zynq.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/zynq.nix b/zynq.nix
index a5999e8..7223d15 100644
--- a/zynq.nix
+++ b/zynq.nix
@@ -41,7 +41,7 @@ in
         echo "rpi-4 ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIJu+HhQmQAclub9K/B3xUQ28lBg+MEdqSeBuQNZgPGKB" > $HOME/.ssh/known_hosts
         chmod 600 $HOME/.ssh/id_rsa
 
-        bash ${<artiq-zynq>}/remote_run.sh -d ${artiq-zynq.zc706-simple-jtag}
+        bash ${<artiq-zynq>}/remote_run.sh -h rpi-4 -d ${artiq-zynq.zc706-simple-jtag}
 
         touch $out
         '';