AndroidKernel.mk

   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.
   4
   5 # This can be overridden on the make command line.
   6 TARGET_KERNEL_SOURCE_IS_PRESENT ?= true
   7
   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 $@
  11
  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
  21
  22 $(PRODUCT_OUT)/bzImage: get_kernel_from_source