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"):