gensoc: add Papilio Pro ID

diff --git a/misoclib/gensoc/__init__.py b/misoclib/gensoc/__init__.py
index f4d1a3b826cb9dca4525dffe21998e6d9b29928f..af09dfb9c3c75b2f0b3c5c6882c7ee572b6e174c 100644 (file)
--- a/misoclib/gensoc/__init__.py
+++ b/misoclib/gensoc/__init__.py
@@ -25,8 +25,9 @@ class GenSoC(Module):
                "timer0":               1,
        }
        known_platform_id = defaultdict(lambda: 0x554E, {
-               "mixxeo":       0x4D58,
-               "m1":           0x4D31
+               "mixxeo":               0x4D58,
+               "m1":                   0x4D31,
+               "papilio_pro":  0x5050
        })
 
        def __init__(self, platform, clk_freq, cpu_reset_address, sram_size, l2_size=0):