kernel: Update to version 4.1.3

[people/amarx/ipfire-3.x.git] / kernel / config-armv7hl-lpae

CONFIG_PGTABLE_LEVELS=3

#
# IO Schedulers
#
CONFIG_PREEMPT_NOTIFIERS=y

#
# CPU Core family selection
#
CONFIG_ARCH_AXXIA=y

#
# Power management
#
# CONFIG_ARCH_R8A7779 is not set

#
# Processor Features
#
CONFIG_ARM_LPAE=y
CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
CONFIG_ARCH_DMA_ADDR_T_64BIT=y

#
# Bus support
#
CONFIG_PCI_BUS_ADDR_T_64BIT=y

#
# PCI host controller drivers
#
CONFIG_PCIE_IPROC=y
CONFIG_PCIE_IPROC_PLATFORM=y

#
# Kernel Features
#
CONFIG_SYS_SUPPORTS_HUGETLBFS=y
CONFIG_PHYS_ADDR_T_64BIT=y
CONFIG_MMU_NOTIFIER=y
# CONFIG_TRANSPARENT_HUGEPAGE is not set

#
# Bus devices
#
# CONFIG_SIMPLE_PM_BUS is not set

#
# I2C system bus drivers (mostly embedded / system-on-chip)
#
CONFIG_I2C_AXXIA=m

#
# USB GPIO expanders
#
CONFIG_POWER_RESET_AXXIA=y
CONFIG_ROCKCHIP_IODOMAIN=m

#
# Media drivers
#
# CONFIG_IR_SUNXI is not set

#
# Clock Source drivers
#
# CONFIG_SH_TIMER_TMU is not set

#
# Generic IOMMU Pagetable Support
#
# CONFIG_IOMMU_IO_PGTABLE_LPAE is not set
# CONFIG_IPMMU_VMSA is not set
# CONFIG_ARM_SMMU is not set

#
# Analog to digital converters
#
# CONFIG_ROCKCHIP_SARADC is not set

#
# Digital to analog converters
#
# CONFIG_MAX5821 is not set

#
# Pseudo filesystems
#
# CONFIG_HUGETLBFS is not set

#
# Lock Debugging (spinlocks, mutexes, etc...)
#
# CONFIG_DEBUG_WW_MUTEX_SLOWPATH is not set
# CONFIG_DEBUG_LOCK_ALLOC is not set
# CONFIG_PROVE_LOCKING is not set
# CONFIG_LOCK_STAT is not set

#
# Library routines
#
CONFIG_KVM_MMIO=y
CONFIG_KVM_GENERIC_DIRTYLOG_READ_PROTECT=y
CONFIG_KVM=y
CONFIG_KVM_ARM_HOST=y
CONFIG_KVM_ARM_MAX_VCPUS=4