On Fri, 9 Aug 2019, Julien Grall wrote:
> Hi Stefano,
>
> On 8/9/19 12:12 AM, Stefano Stabellini wrote:
> > We don't have a clear way to know how many virtual SPIs we need for the
> > boot domains. Introduce a new option under xen,domain to specify the
> > number of SPIs to allocate for the
Hi Stefano,
On 8/9/19 12:12 AM, Stefano Stabellini wrote:
We don't have a clear way to know how many virtual SPIs we need for the
boot domains. Introduce a new option under xen,domain to specify the
number of SPIs to allocate for the domain.
The property is optional, when absent, we'll use the
Stefano,
Stefano Stabellini writes:
> We don't have a clear way to know how many virtual SPIs we need for the
> boot domains. Introduce a new option under xen,domain to specify the
> number of SPIs to allocate for the domain.
>
> The property is optional, when absent, we'll use the physical
