android_kernel_xiaomi_sm8450/build.config.arm
Alistair Delva 523c132fd6 ANDROID: ARM: Use zImage instead of Image
Nothing seems to support booting uncompressed ARM 32-bit kernels, and
everything supports zImage, so change the default on 32-bit to zImage.

More information about this:
http://www.simtec.co.uk/products/SWLINUX/files/booting_article.html

Bug: 165410044
Test: booted zImage on cuttlefish
Change-Id: I130d38737643dc092900e57e117ac268f6a9bd07
Signed-off-by: Alistair Delva <adelva@google.com>
2020-11-13 15:56:44 +00:00

16 lines
187 B
Plaintext

ARCH=arm
CROSS_COMPILE=arm-linux-gnueabi-
LINUX_GCC_CROSS_COMPILE_PREBUILTS_BIN=prebuilts/gas/linux-x86
MAKE_GOALS="
zImage
modules
"
FILES="
arch/arm/boot/zImage
vmlinux
System.map
"