{ pkgs, hx }:

pkgs.runCommand "helloworld-bitstream" {
    buildInputs = [ (pkgs.python3.withPackages(ps: [hx.nmigen hx.nmigen-boards hx.heavycomps])) pkgs.yosys ];
  }
  ''
  export VIVADO=${hx.vivado}/bin/vivado
  python ${./helloworld_kintex7.py} $out
  ''