[PATCH v4] efi: arm64: Add vmlinux debug link to the Image binary

[Will Deacon]

On Fri, Feb 03, 2017 at 02:50:40PM +0000, Ard Biesheuvel wrote:
> On 2 February 2017 at 18:36, Ard Biesheuvel <ard.biesheuvel at linaro.org> wrote:
> > On 2 February 2017 at 18:30, Will Deacon <will.deacon at arm.com> wrote:
> >> On Thu, Feb 02, 2017 at 05:33:19PM +0000, Ard Biesheuvel wrote:
> > diff --git a/arch/arm64/kernel/Makefile b/arch/arm64/kernel/Makefile
> > index 2600c60337ac..1606c6b2a280 100644
> > --- a/arch/arm64/kernel/Makefile
> > +++ b/arch/arm64/kernel/Makefile
> > @@ -57,5 +57,5 @@ head-y                                        := head.o
> >  extra-y                                        += $(head-y) vmlinux.lds
> >
> >  ifeq ($(CONFIG_DEBUG_EFI),y)
> > -AFLAGS_head.o += -DVMLINUX_PATH="\"$(shell readlink -f $(objtree)/vmlinux)\""
> > +AFLAGS_head.o += -DVMLINUX_PATH="\"$(realpath $(objtree)/vmlinux)\""
> >  endif
> >
> >
> >> Do you want me to merge this via arm64?
> >>
> >
> > Yes, please
> 
> Should I respin this?

No need, I'll pick it up and make the change. I'll push out before I leave
work this evening.

Will