ANDROID: arm64: Allow to choose appended kernel image
authorDmitry Shmidt <dimitrysh@google.com>
Tue, 28 Mar 2017 20:30:18 +0000 (13:30 -0700)
committerAmit Pundir <amit.pundir@linaro.org>
Mon, 18 Dec 2017 15:41:22 +0000 (21:11 +0530)
commitd96012b4aa2b50aaf23f6a26ff66c9d88910d484
tree97b3b2d1c11aed2d68e92d6de650fc254094a4c8
parente9f716840fe524840a20b260c02e8d1c6c376793
ANDROID: arm64: Allow to choose appended kernel image

By default appended kernel image is Image.gz-dtb.
New config option BUILD_ARM64_APPENDED_KERNEL_IMAGE_NAME
allows to choose between Image.gz-dtb and Image-dtb.

Change-Id: I1c71b85136f1beeb61782e4646820718c1ccd7e4
Signed-off-by: Dmitry Shmidt <dimitrysh@google.com>
[AmitP: Add BUILD_ARM64_APPENDED_KERNEL_IMAGE_NAME as one of the
        default build targets to align with upstream commit
        06995804b57 ("arm64: Use full path in KBUILD_IMAGE definition")]
Signed-off-by: Amit Pundir <amit.pundir@linaro.org>
arch/arm64/Kconfig
arch/arm64/Makefile