On Wed, Jun 27, 2018 at 06:17:19PM +0100, Leif Lindholm wrote: > 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.lindh...@linaro.org>
LGTM. Daniel _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
