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:48 +, Julien Grall wrote: > > 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 > >>> does

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?

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 p

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

2014-11-14 Thread Julien Grall
Hi Thomas, On 14/11/2014 10:22, Thomas Leonard wrote: On 28 October 2014 15:51, Julien Grall wrote: On 10/28/2014 03:43 PM, Thomas Leonard wrote: On 28 October 2014 15:25, Julien Grall wrote: On 10/28/2014 03:15 PM, Thomas Leonard wrote: On 22 October 2014 14:06, Julien Grall wrote: On 1

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

2014-11-14 Thread Thomas Leonard
On 28 October 2014 15:51, Julien Grall wrote: > On 10/28/2014 03:43 PM, Thomas Leonard wrote: >> On 28 October 2014 15:25, Julien Grall wrote: >>> On 10/28/2014 03:15 PM, Thomas Leonard wrote: On 22 October 2014 14:06, Julien Grall wrote: > On 10/22/2014 10:03 AM, Ian Campbell wrote: >>