Make fpga installable on aarch64

... when was the last time I had to do FPGA stuff though?

hm/common.nix

@@ -440,13 +440,20 @@ in
       pwgen
       (pkgs.writeShellApplication {
         name = "git-sync-init";
-        # runtimeInputs = with pkgs; [ coreutils libnotify ];
         text = (lib.strings.concatLines
           (map (r: ''[ -d "${r.path}" ] || ${pkgs.git}/bin/git clone "${r.uri}" "${r.path}"'')
             (lib.attrsets.attrValues config.services.git-sync.repositories)
           )
         );
       })
+      (pkgs.writeShellApplication {
+        name = "git-sync-pull";
+        text = (lib.strings.concatLines
+          (map (r: ''(cd "${r.path}"; echo "$PWD"; ${pkgs.git}/bin/git pull || true)'')
+            (lib.attrsets.attrValues config.services.git-sync.repositories)
+          )
+        );
+      })
 
       # Mail
       isync

hm/dev.nix

@@ -49,7 +49,9 @@
     # FPGA
   ] ++ lib.optionals config.frogeye.dev.fpga [
     verilog
-    # ghdl # TODO Not on aarch64
+
+  ] ++ lib.optionals (config.frogeye.dev.fpga && pkgs.stdenv.isx86_64) [
+    ghdl
 
     # FPGA (graphical)
   ] ++ lib.optionals (config.frogeye.desktop.xorg && config.frogeye.dev.fpga) [