[PATCH v3 0/2] efi: Free memory on exit

[Alexander Graf]

When exiting grub, we currently leave the heap allocated. This means that if we
exit and rerun grub, after a few iterations we can run into memory shortage.

This patch set frees the heap on exit. That way we can rerun grub many times
without much problem.

Alexander Graf (2):
  efi: Move grub_reboot() into kernel
  efi: Free malloc regions on exit

 grub-core/Makefile.core.def |  9 ++++---
 grub-core/kern/efi/init.c   |  1 +
 grub-core/kern/efi/mm.c     | 59 +++++++++++++++++++++++++++++++++++++++++++++
 include/grub/efi/efi.h      |  1 +
 include/grub/misc.h         |  3 ++-
 5 files changed, 68 insertions(+), 5 deletions(-)

-- 
2.12.3