| # ARM A15 lpae unified arch kernel |
| CONFIG_ARCH_KEYSTONE=y |
| CONFIG_ARCH_VIRT=y |
| |
| # 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 |
| # CONFIG_SOC_AM43XX is not set |
| # CONFIG_SOC_DRA7XX is not set |
| # CONFIG_ARCH_ROCKCHIP is not set |
| # CONFIG_ARCH_ZYNQ is not set |
| # CONFIG_ARCH_AXXIA is not set |
| |
| CONFIG_ARM_LPAE=y |
| CONFIG_SYS_SUPPORTS_HUGETLBFS=y |
| CONFIG_HAVE_ARCH_TRANSPARENT_HUGEPAGE=y |
| CONFIG_ARM_VIRT_EXT=y |
| CONFIG_VIRTUALIZATION=y |
| CONFIG_ARM_DMA_IOMMU_ALIGNMENT=8 |
| |
| CONFIG_CMA_SIZE_SEL_MBYTES=y |
| CONFIG_CMA_SIZE_MBYTES=64 |
| |
| # Cortex-A15 |
| CONFIG_ARM_ERRATA_798181=y |
| CONFIG_ARM_ERRATA_773022=y |
| |
| CONFIG_KVM=y |
| CONFIG_KVM_ARM_HOST=y |
| CONFIG_KVM_ARM_MAX_VCPUS=8 |
| CONFIG_KVM_ARM_TIMER=y |
| |
| # CONFIG_XEN is not set |
| 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 |
| # CONFIG_XEN_BALLOON is not set |
| |
| # TI Keystone |
| CONFIG_KEYSTONE_USB_PHY=m |
| CONFIG_USB_DWC3_KEYSTONE=m |
| CONFIG_GPIO_DAVINCI=y |
| CONFIG_I2C_DAVINCI=m |
| CONFIG_TI_AEMIF=m |
| CONFIG_POWER_RESET_KEYSTONE=y |
| CONFIG_DAVINCI_WATCHDOG=m |
| CONFIG_SPI_DAVINCI=m |
| CONFIG_TI_DAVINCI_MDIO=m |
| # CONFIG_TI_SOC_THERMAL is not set |
| |
| # Tegra (non A15 device options) |
| # CONFIG_ARCH_TEGRA_2x_SOC is not set |
| # CONFIG_ARCH_TEGRA_3x_SOC is not set |
| # CONFIG_TEGRA20_MC is not set |
| # CONFIG_TEGRA_IOMMU_GART is not set |
| # CONFIG_SPI_TEGRA20_SFLASH is not set |
| # CONFIG_SPI_TEGRA20_SLINK is not set |
| # CONFIG_MFD_MAX8907 is not set |
| # CONFIG_MFD_NVEC is not set |
| # CONFIG_SND_SOC_TEGRA_ALC5632 is not set |
| # CONFIG_SND_SOC_TEGRA_TRIMSLICE is not set |
| # CONFIG_SND_SOC_TEGRA_WM8753 is not set |
| # CONFIG_SND_SOC_TEGRA_WM8903 is not set |
| # CONFIG_SND_SOC_TEGRA_WM9712 is not set |
| # CONFIG_SND_SOC_TEGRA20_AC97 is not set |
| # CONFIG_SND_SOC_TEGRA20_DAS is not set |
| # CONFIG_SND_SOC_TEGRA20_SPDIF is not set |