On 16 January 2012 07:48, Evgeny Voevodin <e.voevo...@samsung.com> wrote: > Samsung exynos4210 Interrupt Combiner needs 512 IRQ sources.
Thanks, I applied this patch and the second one reviewed by Peter Maydell. I haven't look at the other patches but on quick glance the code formatting is still a little off in places. Cheers
