On Thu, Dec 13, 2018 at 6:16 AM Jan Beulich wrote:
>
> >>> On 01.12.18 at 02:33, wrote:
> > * x86 PV domains are notified via event channel.
> >
> > PV guests are known to have the event channel software present in the guest
> > kernel, so it is fine to depend on and use it.
> >
> > * x86 HVM dom
>>> On 01.12.18 at 02:33, wrote:
> * x86 PV domains are notified via event channel.
>
> PV guests are known to have the event channel software present in the guest
> kernel, so it is fine to depend on and use it.
>
> * x86 HVM domains and all ARM domains are notified via VIRQ.
>
> The intent is
I think there are two issues:
1) VIRQ vs some other sort of event channel
For PV guests we originally chose a VIRQ in order to have a well known
number against which the kernel driver could bind, so that it wasn't
dependent on any of the other interdomain communication systems (such
a
Hi Christopher,
On 04/12/2018 09:03, Christopher Clark wrote:
On Sun, Dec 2, 2018 at 11:55 AM Julien Grall wrote:
Hi,
On 01/12/2018 01:33, Christopher Clark wrote:
* x86 PV domains are notified via event channel.
PV guests are known to have the event channel software present in the guest
k
> -Original Message-
> From: Christopher Clark [mailto:christopher.w.cl...@gmail.com]
> Sent: 04 December 2018 09:03
> To: Julien Grall
> Cc: xen-devel ; n...@arm.com; Andrew Cooper
> ; George Dunlap ; Ian
> Jackson ; Jan Beulich ; Konrad
> Rzeszutek Wilk ; Stefano Stabellini
> ; Tim (Xen.
On Sun, Dec 2, 2018 at 11:55 AM Julien Grall wrote:
>
> Hi,
>
> On 01/12/2018 01:33, Christopher Clark wrote:
> > * x86 PV domains are notified via event channel.
> >
> > PV guests are known to have the event channel software present in the guest
> > kernel, so it is fine to depend on and use it.
Hi,
On 01/12/2018 01:33, Christopher Clark wrote:
> * x86 PV domains are notified via event channel.
>
> PV guests are known to have the event channel software present in the guest
> kernel, so it is fine to depend on and use it.
>
> * x86 HVM domains and all ARM domains are notified via VIRQ.
>
* x86 PV domains are notified via event channel.
PV guests are known to have the event channel software present in the guest
kernel, so it is fine to depend on and use it.
* x86 HVM domains and all ARM domains are notified via VIRQ.
The intent is to remove the requirement for event channel softw
