gensoc: add id for KC705

diff --git a/misoclib/gensoc/__init__.py b/misoclib/gensoc/__init__.py
index 4f3d17fe4ba9a5f364d6c83fbed31d456d3d66c7..784e564343cc172858aa3fd6fdd12494ae704164 100644 (file)
--- 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"):