From efb2466c7ea568f693cd212e4cd0d0af406ba2f7 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Wed, 6 Aug 2014 23:53:51 +0800
Subject: [PATCH] gensoc: add id for KC705

---
 misoclib/gensoc/__init__.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/misoclib/gensoc/__init__.py b/misoclib/gensoc/__init__.py
index 4f3d17fe4..784e56434 100644
--- a/misoclib/gensoc/__init__.py
+++ b/misoclib/gensoc/__init__.py
@@ -27,7 +27,8 @@ class GenSoC(Module):
 	known_platform_id = defaultdict(lambda: 0x554E, {
 		"mixxeo":		0x4D58,
 		"m1":			0x4D31,
-		"papilio_pro":	0x5050
+		"papilio_pro":	0x5050,
+		"kc705":		0x4B37
 	})
 
 	def __init__(self, platform, clk_freq, cpu_reset_address, sram_size=4096, l2_size=0, with_uart=True, cpu_type="lm32"):