On 19/08/2022 08:22, Ard Biesheuvel wrote:
(cc Steve - not sure who else still works on this stuff these days)
EFI stub: ERROR: Exit boot services failed
Looking at your adventures, it seems you are looking for something
that the EFI stub in Linux is doing wrong, causing the
ExitBootServices() call to fail.
...
One thing you could try is setting the TPL level to TPL_HIGH before
calling exit_boot_services (or just disable interrupts). That way,
your first call is more likely to succeed, as nothing that could
change the memory map could run in the meantime.
Can you give me guidance on how to do that; a grep for TPL_* and
{raise,restore}_tpl seems to indicate these are not currently implemented?
If so, presumably I need to do the same with those as I did with
GetNextMonotonicCount() / get_next_monotonic_count ?
