Build 64-bit kernel with gcc 4.6

diff --git a/core/tasks/kernel.mk b/core/tasks/kernel.mk
index 8e316ab..a9e039d 100644 (file)
--- a/core/tasks/kernel.mk
+++ b/core/tasks/kernel.mk
@@ -25,7 +25,11 @@ TARGET_KERNEL_CONFIG ?= goldfish_defconfig
 KERNEL_CONFIG_DIR := arch/arm/configs
 endif
 
+ifeq ($(TARGET_KERNEL_ARCH),x86_64)
+CROSS_COMPILE := $(abspath prebuilts/gcc/linux-x86/host/x86_64-linux-glibc2.11-4.6/bin)/x86_64-linux-
+else
 CROSS_COMPILE ?= $(abspath $(TARGET_TOOLS_PREFIX))
+endif
 KBUILD_OUTPUT := $(abspath $(TARGET_OUT_INTERMEDIATES)/kernel)
 mk_kernel := + $(hide) $(MAKE) -C $(KERNEL_DIR) O=$(KBUILD_OUTPUT) ARCH=$(TARGET_ARCH) CROSS_COMPILE=$(CROSS_COMPILE) $(if $(SHOW_COMMANDS),V=1)