Fix Ext200A/B reset kind (#448)

bittide · Jan 12, 2024 · 5aa4b8e · 5aa4b8e
1 parent 93a785b
commit 5aa4b8e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/bittide-instances/src/Bittide/Instances/Domains.hs b/bittide-instances/src/Bittide/Instances/Domains.hs
@@ -19,8 +19,8 @@ createDomain vXilinxSystem{vName="Basic25", vPeriod= hzToPeriod 25e6}
 createDomain vXilinxSystem{vName="Basic199", vPeriod=hzToPeriod 199e6}
 createDomain vXilinxSystem{vName="Basic200", vPeriod=hzToPeriod 200e6}
 createDomain vXilinxSystem{vName="Ext200", vPeriod=hzToPeriod 200e6, vResetKind=Asynchronous}
-createDomain vXilinxSystem{vName="Ext200A", vPeriod=hzToPeriod 200e6, vResetKind=Asynchronous}
-createDomain vXilinxSystem{vName="Ext200B", vPeriod=hzToPeriod 200e6, vResetKind=Asynchronous}
+createDomain vXilinxSystem{vName="Ext200A", vPeriod=hzToPeriod 200e6}
+createDomain vXilinxSystem{vName="Ext200B", vPeriod=hzToPeriod 200e6}
 createDomain vXilinxSystem{vName="Basic300", vPeriod=hzToPeriod 300e6}
 createDomain vXilinxSystem{vName="Ext300", vPeriod=hzToPeriod 300e6, vResetKind=Asynchronous}
 createDomain vXilinxSystem{vName="Basic50", vPeriod= hzToPeriod 50e6}