On Wed, 20 Feb 2019 16:00:15 +0100 Thomas Bogendoerfer <tbogendoer...@suse.de> wrote:
> On Wed, 20 Feb 2019 09:15:37 +0000 > Marc Zyngier <marc.zyng...@arm.com> wrote: > > > Well, short of doing the above, I'd rather have something in the common > > code that allows the default domain to be retrieved. How about the > > patch below? > > Works for me:-) Thank you. > > Are you going to submit it for v5.1 ? Yup, now queued. I plan to send a PR tomorrow (still waiting on a few dangling patches). Thanks, M. -- Without deviation from the norm, progress is not possible.