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, 10 Apr 2017 07:56:51 +0000 (13:26 +0530)
commit1adc015041ee37104594c3fc945a8a645bc5cb28
tree07da14e0040bff6fd9d669c7c82f9ff130452ccf
parentb18f4800124818b2412f995a42ae9224ddfdafea
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