2020-11-01 20:27:07 +00:00
|
|
|
{ pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
2024-03-02 03:13:17 +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
|
|
|
|
symbiyosys
|
|
|
|
verilog
|
2021-06-14 14:23:28 +00:00
|
|
|
verilator
|
2020-11-01 20:27:07 +00:00
|
|
|
# Programming
|
|
|
|
dfu-util
|
|
|
|
tinyprog
|
|
|
|
wishbone-tool
|
2021-06-14 14:23:28 +00:00
|
|
|
openfpgaloader
|
2020-11-01 20:27:07 +00:00
|
|
|
];
|
|
|
|
}
|