kernel/config-armv7hl-lpae

   1 CONFIG_PGTABLE_LEVELS=3
   2
   3 #
   4 # IO Schedulers
   5 #
   6 CONFIG_PREEMPT_NOTIFIERS=y
   7
   8 #
   9 # CPU Core family selection
  10 #
  11 CONFIG_ARCH_AXXIA=y
  12
  13 #
  14 # Power management
  15 #
  16 # CONFIG_ARCH_R8A7779 is not set
  17
  18 #
  19 # Processor Features
  20 #
  21 CONFIG_ARM_LPAE=y
  22 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
  23 CONFIG_ARCH_DMA_ADDR_T_64BIT=y
  24
  25 #
  26 # Bus support
  27 #
  28 CONFIG_PCI_BUS_ADDR_T_64BIT=y
  29
  30 #
  31 # PCI host controller drivers
  32 #
  33 CONFIG_PCIE_IPROC=y
  34 CONFIG_PCIE_IPROC_PLATFORM=y
  35
  36 #
  37 # Kernel Features
  38 #
  39 CONFIG_SYS_SUPPORTS_HUGETLBFS=y
  40 CONFIG_PHYS_ADDR_T_64BIT=y
  41 CONFIG_MMU_NOTIFIER=y
  42 # CONFIG_TRANSPARENT_HUGEPAGE is not set
  43
  44 #
  45 # Bus devices
  46 #
  47 # CONFIG_SIMPLE_PM_BUS is not set
  48
  49 #
  50 # I2C system bus drivers (mostly embedded / system-on-chip)
  51 #
  52 CONFIG_I2C_AXXIA=m
  53
  54 #
  55 # USB GPIO expanders
  56 #
  57 CONFIG_POWER_RESET_AXXIA=y
  58 CONFIG_ROCKCHIP_IODOMAIN=m
  59
  60 #
  61 # Media drivers
  62 #
  63 # CONFIG_IR_SUNXI is not set
  64
  65 #
  66 # Clock Source drivers
  67 #
  68 # CONFIG_SH_TIMER_TMU is not set
  69
  70 #
  71 # Generic IOMMU Pagetable Support
  72 #
  73 # CONFIG_IOMMU_IO_PGTABLE_LPAE is not set
  74 # CONFIG_IPMMU_VMSA is not set
  75 # CONFIG_ARM_SMMU is not set
  76
  77 #
  78 # Analog to digital converters
  79 #
  80 # CONFIG_ROCKCHIP_SARADC is not set
  81
  82 #
  83 # Digital to analog converters
  84 #
  85 # CONFIG_MAX5821 is not set
  86
  87 #
  88 # Pseudo filesystems
  89 #
  90 # CONFIG_HUGETLBFS is not set
  91
  92 #
  93 # Lock Debugging (spinlocks, mutexes, etc...)
  94 #
  95 # CONFIG_DEBUG_WW_MUTEX_SLOWPATH is not set
  96 # CONFIG_DEBUG_LOCK_ALLOC is not set
  97 # CONFIG_PROVE_LOCKING is not set
  98 # CONFIG_LOCK_STAT is not set
  99
 100 #
 101 # Library routines
 102 #
 103 CONFIG_KVM_MMIO=y
 104 CONFIG_KVM_GENERIC_DIRTYLOG_READ_PROTECT=y
 105 CONFIG_KVM=y
 106 CONFIG_KVM_ARM_HOST=y
 107 CONFIG_KVM_ARM_MAX_VCPUS=4