Re: [RFC PATCH] hw/arm/virt: Support NMI injection

[Peter Maydell]

On Tue, 28 Jan 2020 at 10:56, Auger Eric <address@hidden> wrote:
> On 1/28/20 10:25 AM, Marc Zyngier wrote:
> > You *could* try something like SDEI [1], but that's a pretty terrible
> > interface too.
>
> Thank you for the pointer.

There was a patchset recently that had an SDEI implementation,
but I would strongly prefer not to have QEMU itself take
on the job of firmware API implementation, and the facilities
provided are somewhere between awkward and impossible to
implement from within a guest firmware blob :-/

thanks
-- PMM