2013-08-15 17:22:58 +01:00
|
|
|
# ARM A15 lpae unified arch kernel
|
|
|
|
CONFIG_ARCH_KEYSTONE=y
|
2013-03-17 23:20:06 +00:00
|
|
|
CONFIG_ARCH_VIRT=y
|
2013-08-15 17:22:58 +01:00
|
|
|
|
|
|
|
# CONFIG_ARCH_MVEBU is not set
|
|
|
|
# CONFIG_ARCH_MXC is not set
|
|
|
|
# CONFIG_ARCH_OMAP3 is not set
|
|
|
|
# CONFIG_ARCH_OMAP4 is not set
|
|
|
|
# CONFIG_SOC_OMAP5 is not set
|
|
|
|
# CONFIG_SOC_AM33XX is not set
|
2013-11-12 13:22:52 -05:00
|
|
|
# CONFIG_SND_AM33XX_SOC_EVM is not set
|
2013-08-15 17:22:58 +01:00
|
|
|
# CONFIG_SOC_AM43XX is not set
|
2014-01-29 06:57:35 -05:00
|
|
|
# CONFIG_SOC_DRA7XX is not set
|
2013-08-15 17:22:58 +01:00
|
|
|
# CONFIG_ARCH_ROCKCHIP is not set
|
|
|
|
# CONFIG_ARCH_SOCFPGA is not set
|
|
|
|
# CONFIG_ARCH_TEGRA is not set
|
|
|
|
# CONFIG_ARCH_ZYNQ is not set
|
2014-06-11 13:36:24 -04:00
|
|
|
# CONFIG_ARCH_AXXIA is not set
|
2013-08-15 17:22:58 +01:00
|
|
|
|
2013-03-17 23:20:06 +00:00
|
|
|
CONFIG_ARM_LPAE=y
|
2013-07-08 22:48:19 +01:00
|
|
|
CONFIG_SYS_SUPPORTS_HUGETLBFS=y
|
|
|
|
CONFIG_HAVE_ARCH_TRANSPARENT_HUGEPAGE=y
|
2013-03-17 23:20:06 +00:00
|
|
|
CONFIG_ARM_VIRT_EXT=y
|
|
|
|
CONFIG_VIRTUALIZATION=y
|
2013-07-15 00:18:10 +01:00
|
|
|
CONFIG_ARM_DMA_IOMMU_ALIGNMENT=8
|
2013-03-17 23:20:06 +00:00
|
|
|
|
2013-06-28 08:55:34 +01:00
|
|
|
# Cortex-A15
|
|
|
|
CONFIG_ARM_ERRATA_798181=y
|
2013-09-08 15:31:34 +01:00
|
|
|
CONFIG_ARM_ERRATA_773022=y
|
2013-06-28 08:55:34 +01:00
|
|
|
|
2013-03-17 23:20:06 +00:00
|
|
|
CONFIG_KVM=y
|
|
|
|
CONFIG_KVM_ARM_HOST=y
|
|
|
|
CONFIG_KVM_ARM_MAX_VCPUS=8
|
|
|
|
CONFIG_KVM_ARM_VGIC=y
|
|
|
|
CONFIG_KVM_ARM_TIMER=y
|
|
|
|
|
2014-02-03 07:25:16 -05:00
|
|
|
# CONFIG_XEN is not set
|
2013-03-17 23:20:06 +00:00
|
|
|
CONFIG_XEN_FBDEV_FRONTEND=y
|
|
|
|
CONFIG_INPUT_XEN_KBDDEV_FRONTEND=m
|
|
|
|
CONFIG_XEN_BLKDEV_FRONTEND=m
|
|
|
|
CONFIG_XEN_BLKDEV_BACKEND=m
|
|
|
|
CONFIG_XEN_NETDEV_FRONTEND=m
|
|
|
|
CONFIG_XEN_NETDEV_BACKEND=m
|
|
|
|
CONFIG_HVC_XEN=y
|
|
|
|
CONFIG_HVC_XEN_FRONTEND=y
|
|
|
|
CONFIG_XEN_DEV_EVTCHN=m
|
|
|
|
CONFIG_XEN_BACKEND=y
|
|
|
|
CONFIG_XENFS=m
|
|
|
|
CONFIG_XEN_COMPAT_XENFS=y
|
|
|
|
CONFIG_XEN_SYS_HYPERVISOR=y
|
|
|
|
CONFIG_XEN_GNTDEV=y
|
|
|
|
CONFIG_XEN_GRANT_DEV_ALLOC=m
|
|
|
|
CONFIG_XEN_WDT=m
|
2014-01-23 07:35:29 -05:00
|
|
|
# CONFIG_XEN_BALLOON is not set
|
2013-03-17 23:20:06 +00:00
|
|
|
|
2014-03-12 12:52:12 +00:00
|
|
|
# TI Keystone
|
|
|
|
CONFIG_KEYSTONE_USB_PHY=m
|
|
|
|
CONFIG_USB_DWC3_KEYSTONE=m
|
|
|
|
CONFIG_GPIO_DAVINCI=y
|
|
|
|
CONFIG_I2C_DAVINCI=m
|
2014-04-14 13:13:02 +01:00
|
|
|
CONFIG_TI_AEMIF=m
|
2014-06-11 13:36:24 -04:00
|
|
|
CONFIG_POWER_RESET_KEYSTONE=y
|
2014-06-23 07:25:04 +01:00
|
|
|
CONFIG_DAVINCI_WATCHDOG=m
|
|
|
|
CONFIG_SPI_DAVINCI=m
|
2014-03-12 12:52:12 +00:00
|
|
|
# CONFIG_SND_DAVINCI_SOC is not set
|
|
|
|
# CONFIG_TI_SOC_THERMAL is not set
|
|
|
|
|
2013-08-15 17:22:58 +01:00
|
|
|
# CONFIG_TEGRA_HOST1X is not set
|
2014-04-10 09:38:28 -04:00
|
|
|
# CONFIG_DRM_PANEL_SIMPLE is not set
|
|
|
|
# CONFIG_DRM_PANEL_LD9040 is not set
|
|
|
|
# CONFIG_DRM_PANEL_S6E8AA0 is not set
|