From 96941dd4dd33571c0edc39c704c90d39aaaa99a7 Mon Sep 17 00:00:00 2001
From: Igor Pecovnik <igor.pecovnik@gmail.com>
Date: Sat, 28 May 2016 21:01:52 +0200
Subject: [PATCH] Odroid C2 disabling MALI since it breaks the compilation,
 added overlay fs support

---
 config/kernel/linux-odroidc2-default.config | 33 ++++++++++-----------
 1 file changed, 16 insertions(+), 17 deletions(-)

diff --git a/config/kernel/linux-odroidc2-default.config b/config/kernel/linux-odroidc2-default.config
index 43c2fc7bd5..32919611f0 100644
--- a/config/kernel/linux-odroidc2-default.config
+++ b/config/kernel/linux-odroidc2-default.config
@@ -205,6 +205,7 @@ CONFIG_COMPAT_OLD_SIGACTION=y
 # GCOV-based kernel profiling
 #
 # CONFIG_GCOV_KERNEL is not set
+CONFIG_ARCH_HAS_GCOV_PROFILE_ALL=y
 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
 CONFIG_SLABINFO=y
 CONFIG_RT_MUTEXES=y
@@ -264,6 +265,11 @@ CONFIG_ARM_AMBA=y
 #
 # Kernel Features
 #
+
+#
+# ARM errata workarounds
+#
+# CONFIG_ARM64_ERRATUM_845719 is not set
 # CONFIG_ARM64_64K_PAGES is not set
 # CONFIG_CPU_BIG_ENDIAN is not set
 CONFIG_SMP=y
@@ -334,6 +340,7 @@ CONFIG_CMDLINE_FROM_BOOTLOADER=y
 # CONFIG_CMDLINE_EXTEND is not set
 # CONFIG_CMDLINE_FORCE is not set
 # CONFIG_BUILD_ARM64_APPENDED_DTB_IMAGE is not set
+# CONFIG_EFI is not set
 
 #
 # Userspace binary formats
@@ -1487,8 +1494,7 @@ CONFIG_OF=y
 #
 # Device Tree and Open Firmware support
 #
-CONFIG_PROC_DEVICETREE=y
-# CONFIG_OF_SELFTEST is not set
+# CONFIG_OF_UNITTEST is not set
 CONFIG_OF_FLATTREE=y
 CONFIG_OF_EARLY_FLATTREE=y
 CONFIG_OF_ADDRESS=y
@@ -3169,20 +3175,8 @@ CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY=y
 CONFIG_FRAMEBUFFER_CONSOLE_ROTATION=y
 # CONFIG_LOGO is not set
 # CONFIG_FB_SSD1307 is not set
-
-#
-# Mali GPU OpenGL device driver
-#
-CONFIG_MALI400=y
-# CONFIG_MALI400_DEBUG is not set
-# CONFIG_MALI400_PROFILING is not set
-# CONFIG_MALI400_UMP is not set
-# CONFIG_MALI_DVFS is not set
-CONFIG_MALI_DMA_BUF_MAP_ON_ATTACH=y
-# CONFIG_MALI_SHARED_INTERRUPTS is not set
-# CONFIG_MALI_PMU_PARALLEL_POWER_UP is not set
-# CONFIG_MALI_DT is not set
-# CONFIG_MALI_QUIET is not set
+# CONFIG_MALI400 is not set
+# CONFIG_UMP is not set
 CONFIG_SOUND=y
 # CONFIG_SOUND_OSS_CORE is not set
 CONFIG_SND=y
@@ -3913,6 +3907,11 @@ CONFIG_RESET_CONTROLLER=y
 # CONFIG_PHY_EXYNOS_DP_VIDEO is not set
 # CONFIG_POWERCAP is not set
 
+#
+# Firmware Drivers
+#
+# CONFIG_FIRMWARE_MEMMAP is not set
+
 #
 # File systems
 #
@@ -3962,7 +3961,7 @@ CONFIG_QUOTACTL=y
 CONFIG_AUTOFS4_FS=m
 CONFIG_FUSE_FS=m
 # CONFIG_CUSE is not set
-CONFIG_OVERLAYFS_FS=m
+CONFIG_OVERLAY_FS=m
 
 #
 # Caches