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

[Ard Biesheuvel]

On 3 February 2017 at 15:17, Will Deacon <will.deacon at arm.com> wrote:
> 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.
>

Cheers