1 # This makefile is included from vendor/intel/*/AndroidBoard.mk.
2 # If the kernel source is present, AndroidBoard.mk will perform a kernel build
3 # otherise, AndroidBoard.mk will find the kernel binaries in a tarball.
5 # This can be overridden on the make command line.
6 TARGET_KERNEL_SOURCE_IS_PRESENT ?= true
8 .PHONY: get_kernel_from_source menuconfig
9 menuconfig get_kernel_from_source: $(MINIGZIP)
10 +TARGET_TOOLS_PREFIX="$(ANDROID_BUILD_TOP)/$(TARGET_TOOLS_PREFIX)" DIFFCONFIGS="$(DIFFCONFIGS)" vendor/intel/support/kernel-build.sh -c $(CUSTOM_BOARD) -o $@
12 # This rule is useful for creating a kernel that will be
13 # shared with a tree that does not have kernel source.
14 make_kernel_tarball: get_kernel_from_source bootimage
15 @echo Building kernel tarball: $(TARGET_KERNEL_TARBALL)
16 @rm -rf $(PRODUCT_OUT)/kerneltarball
17 @mkdir -p $(PRODUCT_OUT)/kerneltarball/root/lib/modules
18 @cp $(PRODUCT_OUT)/root/lib/modules/* $(PRODUCT_OUT)/kerneltarball/lib/modules
19 @cp $(PRODUCT_OUT)/bzImage $(PRODUCT_OUT)/kerneltarball/
20 tar cvzf $(TARGET_KERNEL_TARBALL) -C $(PRODUCT_OUT)/kerneltarball bzImage root/lib/modules
22 $(PRODUCT_OUT)/bzImage: get_kernel_from_source