zynq: run simple kernel

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
         '';
     });