xen/arm: exynos5: Blacklist MCT device
authorJulien Grall <julien.grall@linaro.org>
Fri, 13 Sep 2013 12:49:29 +0000 (13:49 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Tue, 17 Sep 2013 14:29:08 +0000 (15:29 +0100)
commit64e2efcad8789bdb09abc4c07f4cc259d8b42676
treedaa944533846a1c42334fe02f4f6a7ac9bc14e6b
parentc04b69e769ce1a5deed07ad41314c4aa25ee2596
xen/arm: exynos5: Blacklist MCT device

The Multi Core Timer (MCT) is a Samsung specific device.
This device tries to route IRQ in non-boot CPU which is not yet handled by Xen.

The user will see randomly dom0 hang, but I'm not sure that is the real reason.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/platforms/exynos5.c