Re: [PATCH V1 12/16] xen/dm: Introduce xendevicemodel_set_irq_level DM op

2020-09-26 Thread Oleksandr
On 26.09.20 16:50, Julien Grall wrote: (+ Paul and Andre) Hi, Hi Julien Adding Paul as the author of DMOP and Andre as this is GIC related. On 10/09/2020 21:22, Oleksandr Tyshchenko wrote: From: Oleksandr Tyshchenko Looking at the PoC I shared with you, this code was originally wri

Re: [PATCH V1 12/16] xen/dm: Introduce xendevicemodel_set_irq_level DM op

2020-09-26 Thread Julien Grall
(+ Paul and Andre) Hi, Adding Paul as the author of DMOP and Andre as this is GIC related. On 10/09/2020 21:22, Oleksandr Tyshchenko wrote: From: Oleksandr Tyshchenko Looking at the PoC I shared with you, this code was originally written by me. This patch adds ability to the device emu

[PATCH V1 12/16] xen/dm: Introduce xendevicemodel_set_irq_level DM op

2020-09-10 Thread Oleksandr Tyshchenko
From: Oleksandr Tyshchenko This patch adds ability to the device emulator to notify otherend (some entity running in the guest) using a SPI and implements Arm specific bits for it. Proposed interface allows emulator to set the logical level of a one of a domain's IRQ lines. Signed-off-by: Julien