2020-11-01 20:27:07 +00:00
|
|
|
{ pkgs, ... }:
|
|
|
|
|
|
|
|
|
|
{
|
2020-11-17 01:51:13 +00:00
|
|
|
services.udev.packages = [
|
|
|
|
|
(pkgs.callPackage ../externals/rules/fpga.nix { })
|
|
|
|
|
];
|
2020-11-01 20:27:07 +00:00
|
|
|
environment.systemPackages = with pkgs; [
|
|
|
|
|
# Synthesis
|
|
|
|
|
icestorm
|
|
|
|
|
nextpnr
|
|
|
|
|
trellis
|
|
|
|
|
yosys
|
|
|
|
|
# Testing
|
|
|
|
|
ghdl
|
|
|
|
|
symbiyosys
|
|
|
|
|
verilog
|
|
|
|
|
# Programming
|
|
|
|
|
dfu-util
|
|
|
|
|
tinyprog
|
|
|
|
|
wishbone-tool
|
|
|
|
|
( callPackage ../externals/packages/fujproj { } )
|
|
|
|
|
];
|
|
|
|
|
}
|
