With nixpkgs 20.03, the provided cargo package can no longer use the old rustc-or1k.
Enables Zynq gateware development.