From eba5934c8089f72af03673bf9569f94773e6ef6b Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Sat, 4 Jul 2020 23:56:57 +0800
Subject: [PATCH] zynq: run simple kernel

---
 zynq.nix | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/zynq.nix b/zynq.nix
index 850e049..ea1832d 100644
--- a/zynq.nix
+++ b/zynq.nix
@@ -2,6 +2,7 @@ let
   pkgs = import <nixpkgs> {};
   zc706 = import <zc706> { mozillaOverlay = import <mozillaOverlay>; };
   artiq-zynq = import <artiq-zynq> { mozillaOverlay = import <mozillaOverlay>; };
+  artiq-fast = import <artiq-fast> { inherit pkgs; };
   addBuildProducts = drv: drv.overrideAttrs (oldAttrs: {
       installPhase = ''
         ${oldAttrs.installPhase}
@@ -28,7 +29,7 @@ in
       __networked = true;
 
       buildInputs = [
-        pkgs.openssh pkgs.rsync
+        pkgs.openssh pkgs.rsync artiq-fast.artiq
       ];
       phases = [ "buildPhase" ];
 
@@ -37,6 +38,11 @@ in
         cd ${<artiq-zynq>}
         bash ${<artiq-zynq>}/remote_run.sh -h rpi-4 -o "-F /dev/null -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -o LogLevel=ERROR -i /opt/hydra_id_rsa" -d ${artiq-zynq.zc706-simple-jtag}
 
+        sleep 15
+
+        cd examples
+        artiq_run mandelbrot.py
+
         touch $out
         '';
     });