5 CONFIG_PREEMPT_NOTIFIERS=y
8 # CPU Core family selection
16 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
21 CONFIG_SYS_SUPPORTS_HUGETLBFS=y
22 CONFIG_PHYS_ADDR_T_64BIT=y
23 # CONFIG_TRANSPARENT_HUGEPAGE is not set
28 CONFIG_POWER_RESET_AXXIA=y
31 # Hardware Spinlock drivers
33 # CONFIG_IPMMU_VMSA is not set
34 # CONFIG_ARM_SMMU is not set
39 # CONFIG_HUGETLBFS is not set
47 CONFIG_KVM_ARM_MAX_VCPUS=4
49 CONFIG_KVM_ARM_TIMER=y