From 210cb720c1bdde23c1c0563f2d0baef6f77ccdde Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Sun, 3 Aug 2014 15:53:21 +0800
Subject: [PATCH] platforms/kc705: use Vivado by default

---
 mibuild/platforms/kc705.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mibuild/platforms/kc705.py b/mibuild/platforms/kc705.py
index e6c68e217..b749acb9e 100644
--- 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":