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
