platforms/kc705: use Vivado by default

diff --git a/mibuild/platforms/kc705.py b/mibuild/platforms/kc705.py
index e6c68e2176a97539bbefbe284e849f956c44a70f..b749acb9ee986e0212b064d7791b6dcbb1ebb337 100644 (file)
--- a/mibuild/platforms/kc705.py
+++ b/mibuild/platforms/kc705.py
@@ -117,7 +117,7 @@ _io = [
        ),
 ]
 
-def Platform(*args, toolchain="ise", **kwargs):
+def Platform(*args, toolchain="vivado", **kwargs):
        if toolchain == "ise":
                xilinx_platform = XilinxISEPlatform
        elif toolchain == "vivado":