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 :-/