From 5c5e62cc0d1d07e44ba96ebe83ce259e8bbe7b85 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sebastien@milkymist.org>
Date: Sat, 9 Nov 2013 18:34:36 +0100
Subject: [PATCH] top: set platform ID

---
 top.py | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/top.py b/top.py
index f74d1bdc3..f73bd8f63 100644
--- a/top.py
+++ b/top.py
@@ -1,6 +1,7 @@
 from fractions import Fraction
 from math import ceil
 from operator import itemgetter
+from collections import defaultdict
 
 from migen.fhdl.std import *
 from migen.bus import wishbone, csr, lasmibus, dfi
@@ -77,7 +78,6 @@ class SoC(Module):
 		"memtest_w":			15,
 		"memtest_r":			16
 	}
-
 	interrupt_map = {
 		"uart":			0,
 		"timer0":		1,
@@ -85,6 +85,10 @@ class SoC(Module):
 		"dvisampler0":	3,
 		"dvisampler1":	4,
 	}
+	known_platform_id = defaultdict(lambda: 0x554E, {
+		"mixxeo":	0x4D58,
+		"m1":		0x4D31
+	})
 
 	def __init__(self, platform, platform_name, with_memtest):
 		#
@@ -154,7 +158,7 @@ class SoC(Module):
 		#
 		self.submodules.crg = mxcrg.MXCRG(MXClockPads(platform), clk_freq)
 		self.submodules.uart = uart.UART(platform.request("serial"), clk_freq, baud=115200)
-		self.submodules.identifier = identifier.Identifier(0x4D31, int(clk_freq))
+		self.submodules.identifier = identifier.Identifier(self.known_platform_id[platform_name], int(clk_freq))
 		self.submodules.timer0 = timer.Timer()
 		if platform_name == "mixxeo":
 			self.submodules.leds = gpio.GPIOOut(platform.request("user_led"))