On Fri, Mar 8, 2019 at 10:43 AM Mimi Zohar <zohar at linux.ibm.com> wrote: > FYI, efi_printk() works before exit_boot(), but not afterwards. The > system hangs. efi_printk() uses boot services to print, so that's not unexpected :) It would probably be sensible to return an error rather than crash, though…