On Tue, 28 Jan 2020 at 10:56, Auger Eric <eric.au...@redhat.com> 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