Leif Lindholm c632c77593 arm: Delete unused efi support from loader/arm ... The 32-bit arm efi port now shares the 64-bit linux loader, so delete the now unused bits from the 32-bit linux loader. This in turn leaves the grub-core/kern/arm/efi/misc.c unused, so delete that too. Signed-off-by: Leif Lindholm <leif.lindholm@linaro.org> Reviewed-by: Daniel Kiper <daniel.kiper@oracle.com> Origin: backport, https://git.savannah.gnu.org/cgit/grub.git/commit/?id=77808dd66bda72ff14873bcd701ec25a0db1dfee Bug-Debian: https://bugs.debian.org/907596 Last-Update: 2018-12-06 Patch-Name: arm-delete-unused-efi-support-from-loader-arm.patch		2018-12-06 20:55:29 +00:00
..
memory.h	efi: mm: make MAX_USABLE_ADDRESS platform-specific	2013-12-10 18:05:29 +00:00