ANDROID: ARM64: Allow to choose appended kernel image
authorDmitry Shmidt <dimitrysh@google.com>
Tue, 28 Mar 2017 20:30:18 +0000 (13:30 -0700)
committerDmitry Shmidt <dimitrysh@google.com>
Fri, 31 Mar 2017 00:20:13 +0000 (17:20 -0700)
commit4bdcc9366ab74f0880ba72f7a1a98391359f127f
treea69dbb820733f7624588ae6ff816b21c839320e8
parent42c3c882617bfe5dd141d2d76f50b22e873bc51d
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>
arch/arm64/Kconfig
arch/arm64/Makefile