On Mon, May 16, 2016 at 03:23:51PM -0500, Alex Thorlton wrote: > Everything discussed above makes sense to me, and the patch looks sane. > I will apply and test it today and let you know how it works.
I applied this to the latest -tip kernel and tested on both real hardware and in our simulator. Everything appears to be behaving as expected. I still need to work on the other patch in the patchset to get our callbacks working with the new EFI page tables, but I believe we have a clear path forward there, and that is (mostly) a separate issue. Thanks again for catching this mistake, Linus! - Alex