Re: [Qemu-devel] [PATCH v11 0/9] ARM: Samsung Exynos4210-based boards support.

[Evgeny Voevodin]

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.

--
Kind regards,
Evgeny Voevodin,
Leading Software Engineer,
ASWG, Moscow R&D center, Samsung Electronics
e-mail: address@hidden