+CONFIG_PGTABLE_LEVELS=3
#
# IO Schedulers
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_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:
+# USB GPIO expanders
#
CONFIG_POWER_RESET_AXXIA=y
CONFIG_ROCKCHIP_IODOMAIN=m
CONFIG_KVM=y
CONFIG_KVM_ARM_HOST=y
CONFIG_KVM_ARM_MAX_VCPUS=4
-CONFIG_KVM_ARM_VGIC=y
-CONFIG_KVM_ARM_TIMER=y