From 394071da3a5896bf3f5771360813852a3893ddef Mon Sep 17 00:00:00 2001
From: Stuart Olsen <stuart@sj-olsen.com>
Date: Tue, 17 Mar 2020 00:08:00 -0700
Subject: [PATCH] nexys4ddr: enable pushbutton reset.

---
 nmigen_boards/nexys4ddr.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/nmigen_boards/nexys4ddr.py b/nmigen_boards/nexys4ddr.py
index d75963c..02dc101 100644
--- a/nmigen_boards/nexys4ddr.py
+++ b/nmigen_boards/nexys4ddr.py
@@ -14,9 +14,12 @@ class Nexys4DDRPlatform(Xilinx7SeriesPlatform):
     package     = "csg324"
     speed       = "1"
     default_clk = "clk100"
+    default_rst = "rst"
     resources   = [
         Resource("clk100", 0,
             Pins("E3", dir="i"), Clock(100e6), Attrs(IOSTANDARD="LVCMOS33")),
+        Resource("rst", 0,
+            PinsN("C12", dir="i"), Attrs(IOSTANDARD="LVCMOS33")),
 
         *SwitchResources(
             pins="J15 L16 M13 R15 R17 T18 U18 R13 T8  U8  R16 T13 H6  U12 U11 V10",
-- 
2.30.2