Re: [Xen-devel] [PATCH ARM v8 2/4] mini-os: arm: interrupt controller

2014-11-14 Thread Ian Campbell
On Fri, 2014-11-14 at 11:33 +, Julien Grall wrote: Though IIRC, mini-os for ARM is not yet SMP. It's difficult to see what needs to be done to support code that doesn't exist yet. For example, would gic_init be called once, or once per processor? Before or after the other processors

Re: [Xen-devel] [PATCH ARM v8 2/4] mini-os: arm: interrupt controller

2014-11-14 Thread Julien Grall
On 14/11/2014 11:42, Ian Campbell wrote: On Fri, 2014-11-14 at 11:33 +, Julien Grall wrote: Though IIRC, mini-os for ARM is not yet SMP. It's difficult to see what needs to be done to support code that doesn't exist yet. For example, would gic_init be called once, or once per processor?