Kyungmin Park wrote:

On 2/1/12, Kukjin Kim [off-list ref] wrote:

quoted

Signed-off-by: Kukjin Kim <redacted>
---

[...]

quoted

-	ncores = scu_base ? scu_get_core_count(scu_base) : 1;
+	if (soc_is_exynos5250())
+		ncores = 2;

I saw the related mail thread, I wonder then how to handle this at
other A15 board? Device Tree?

Well, as you know, the EXYNOS5250 has two A15 cores :)

Thanks.

Best regards,
Kgene.
--
Kukjin Kim [off-list ref], Senior Engineer,
SW Solution Development Team, Samsung Electronics Co., Ltd.