Bug#759291: linux-image-armmp: Please enable support for exynos devices

[Ian Campbell <ijc@hellion.org.uk>]

> Please add support for exynos devices (like arndale) - config ARCH_EXYNOS.

Enabling ARCH_EXYNOS resulted by default in ARCH_EXYNOS4 and ARCH_EXYNOS5
support being enabled and ARCH_EXYNOS3 disabled. Enabling ARCH_EXYNOS4 forced
HZ to 200 (via CONFIG_HZ_FIXED) instead of the current 250 which is
undesirable. So I think for now we should be looking at adding exynos5 support
and not 4 or 3.

Enabling ARCH_EXYNOS=y and ARCH_EXYNOS5=y but disabling ARCH_EXYNOS{4,3}
results in the list of additional .config options below being enabled/disabled
by default. I expect we'd want to enable in addition to the defaults:
  - SERIAL_SAMSUNG
  - I2C_EXYNOS5
  - USB_{E,O}HCI_EXYNOS
  - MMC_SDHCI_S3

I'd appreciate any thoughts on that or suggestions for other things to enable.
There are a bunch of graphics options which I don't really know about.

I saw your comment about CONFIG_SATA_EXYNOS but I'm not seeing that symbol in
the mainline kernel, perhaps that isn't upstream or the Linaro kernel is
carrying patches. If it is upstream (but just not in v3.16) then we could
consider a backport.

This will also enable exynos support in the armmp-lpae kernel, but the delta is
the same plus CONFIG_ARM_SMMU=y (which is fine).

Ian.


--- base-config.armmp	2014-08-29 03:26:34.689211116 +0100
+++ exynos-config.armmp	2014-08-29 03:34:03.295262750 +0100
-# CONFIG_ARCH_EXYNOS is not set
+CONFIG_ARCH_EXYNOS=y
+# CONFIG_ARCH_EXYNOS3 is not set
+# CONFIG_ARCH_EXYNOS4 is not set
+CONFIG_ARCH_EXYNOS5=y
+
+#
+# EXYNOS SoCs
+#
+CONFIG_SOC_EXYNOS5250=y
+CONFIG_SOC_EXYNOS5260=y
+CONFIG_SOC_EXYNOS5410=y
+CONFIG_SOC_EXYNOS5420=y
+CONFIG_SOC_EXYNOS5440=y
+CONFIG_SOC_EXYNOS5800=y
+CONFIG_PLAT_SAMSUNG=y
+
+#
+# Samsung Common options
+#
+
+#
+# Boot options
+#
+CONFIG_S5P_DEV_MFC=y
+
+#
+# Power management
+#
+# CONFIG_SAMSUNG_PM_CHECK is not set
+# CONFIG_PCI_EXYNOS is not set
+CONFIG_ARM_EXYNOS_CPUFREQ=y
+CONFIG_ARM_EXYNOS5250_CPUFREQ=y
+CONFIG_ARM_EXYNOS5440_CPUFREQ=y
+# CONFIG_ARM_EXYNOS_CPU_FREQ_BOOST_SW is not set
+CONFIG_PM_GENERIC_DOMAINS=y
+CONFIG_PM_GENERIC_DOMAINS_SLEEP=y
+CONFIG_PM_GENERIC_DOMAINS_RUNTIME=y
+# CONFIG_SERIAL_SAMSUNG is not set
+CONFIG_SERIAL_SAMSUNG_UARTS_4=y
+CONFIG_SERIAL_SAMSUNG_UARTS=4
+CONFIG_HW_RANDOM_EXYNOS=m
+# CONFIG_I2C_EXYNOS5 is not set
+CONFIG_HAVE_S3C2410_I2C=y
+# CONFIG_I2C_S3C2410 is not set
+# CONFIG_SPI_S3C64XX is not set
+CONFIG_PINCTRL_SAMSUNG=y
+CONFIG_PINCTRL_EXYNOS=y
+CONFIG_PINCTRL_EXYNOS5440=y
+
+#
+# Samsung thermal drivers
+#
+# CONFIG_EXYNOS_THERMAL is not set
+CONFIG_HAVE_S3C2410_WATCHDOG=y
+# CONFIG_S3C2410_WATCHDOG is not set
+# CONFIG_VIDEO_SAMSUNG_S5P_TV is not set
+# CONFIG_VIDEO_SAMSUNG_S5P_G2D is not set
+# CONFIG_VIDEO_SAMSUNG_S5P_JPEG is not set
+# CONFIG_VIDEO_SAMSUNG_S5P_MFC is not set
+# CONFIG_VIDEO_SAMSUNG_EXYNOS_GSC is not set
+# CONFIG_FB_S3C is not set
+# CONFIG_EXYNOS_VIDEO is not set
+# CONFIG_SND_SOC_SAMSUNG is not set
+# CONFIG_USB_EHCI_EXYNOS is not set
+# CONFIG_USB_OHCI_EXYNOS is not set
+# CONFIG_MMC_SDHCI_S3C is not set
+CONFIG_HAVE_S3C_RTC=y
+# CONFIG_RTC_DRV_S3C is not set
+CONFIG_COMMON_CLK_SAMSUNG=y
+CONFIG_CLKSRC_EXYNOS_MCT=y
+# CONFIG_EXYNOS_IOMMU is not set
+# CONFIG_EXYNOS_ADC is not set
+# CONFIG_PWM_SAMSUNG is not set
+# CONFIG_PHY_EXYNOS_MIPI_VIDEO is not set
+# CONFIG_PHY_EXYNOS_DP_VIDEO is not set
+# CONFIG_PHY_EXYNOS5250_SATA is not set
+# CONFIG_PHY_EXYNOS5_USBDRD is not set
+# CONFIG_CRYPTO_DEV_S5P is not set