From 66721c3bf1c143b8b6806e95cb35295fd765995c Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Thu, 3 Oct 2019 09:51:27 +0000
Subject: [PATCH] de0: fix button polarity.

---
 nmigen_boards/de0.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nmigen_boards/de0.py b/nmigen_boards/de0.py
index 047d010..7ecd4e0 100644
--- a/nmigen_boards/de0.py
+++ b/nmigen_boards/de0.py
@@ -24,7 +24,7 @@ class DE0Platform(AlteraPlatform):
             pins="J1 J2 J3 H1 F2 E1 C1 C2 B2 B1",
             attrs=Attrs(io_standard="3.3-V LVTTL")),
         *ButtonResources(
-            pins="H2 G3 F1",
+            pins="H2 G3 F1", invert=True,
             attrs=Attrs(io_standard="3.3-V LVTTL")),
         *SwitchResources(
             pins="J6 H5 H6 G4 G5 J7 H7 E3 E4 D2",
-- 
2.30.2