5 CONFIG_PREEMPT_NOTIFIERS=y
11 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
16 CONFIG_SYS_SUPPORTS_HUGETLBFS=y
17 CONFIG_PHYS_ADDR_T_64BIT=y
18 # CONFIG_TRANSPARENT_HUGEPAGE is not set
21 # Hardware Spinlock drivers
23 # CONFIG_ARM_SMMU is not set
28 # CONFIG_HUGETLBFS is not set
36 CONFIG_KVM_ARM_MAX_VCPUS=4
38 CONFIG_KVM_ARM_TIMER=y