On 02/03/2012 09:24 AM, Evgeny Voevodin wrote:
On 02/02/2012 10:43 PM, Peter Maydell wrote:
On 30 January 2012 07:38, Evgeny Voevodin<e.voevo...@samsung.com> wrote:
This set of patches adds support for Samsung Exynos4210-based boards
NURI and SMDKC210.
Tested on Linux kernel v3.x series.

Usage:
"-smp 2" option is mandatory for now.
If it is then the board should complain about -smp 1. As it is, you
get a huge pile of "Timer with period zero, disabling" debug printout to
the terminal...

-- PMM


I think that better way is to hardcode exynos4_board_binfo.nb_cpus to be
equal to 2.
AFAIK, there is no exynos4210 variant with other amount of cores then two.
So, will produce v12 soon.


After a discussion we decided to hardcode exynos4_board_binfo.nb_cpus to be equal to 2 and if smp_cpus is set to smth other, throw a warning message.

--
Kind regards,
Evgeny Voevodin,
Leading Software Engineer,
ASWG, Moscow R&D center, Samsung Electronics
e-mail: e.voevo...@samsung.com

Reply via email to