diff options
| author | Daniel Thompson <daniel.thompson@linaro.org> | 2015-03-12 19:09:12 +0000 |
|---|---|---|
| committer | Daniel Thompson <daniel.thompson@linaro.org> | 2015-03-12 19:09:12 +0000 |
| commit | 5724886b0e9ed2fadf1480499225b7dd73d53fe8 (patch) | |
| tree | 0e43b616be87cff3b9c17713bb065dd36b2972f9 | |
| parent | 212e52832495ccd17c17a65821ed695c6d7c206b (diff) | |
ifc6410: Compile the kernel using a special toolset
The default android compiler is known to miscompile the kernel (and
ext4 was proven to be broken in my own testing). Adopt a special
compiler for kernel builds.
Signed-off-by: Daniel Thompson <daniel.thompson@linaro.org>
| -rw-r--r-- | BoardConfig.mk | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/BoardConfig.mk b/BoardConfig.mk index 63ede92..ce84bec 100644 --- a/BoardConfig.mk +++ b/BoardConfig.mk @@ -66,7 +66,10 @@ BOARD_SEPOLICY_UNION += \ # ARMs gator (DS-5) TARGET_USE_GATOR:= true -# We're using an (almost) upstream kernel so we can simply grab a defconfig +# The default toolset does not correctly compile the (relatively) modern +# kernel we use on IFC6410. Select a special compiler for the kernel. +KERNEL_TOOLS_PREFIX ?= $(realpath $(TOP))/prebuilts/gcc/linux-x86/arm/arm-linux-androideabi-4.9-linaro/bin/arm-linux-androideabi- + # from kernel sources rather than using the linaro/configs/*.conf overlays. KERNEL_CONFIG ?= android_v7_defconfig |