On 02/02/2012 10:43 PM, Peter Maydell wrote:
On 30 January 2012 07:38, Evgeny Voevodin<address@hidden> 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.