5 CONFIG_PREEMPT_NOTIFIERS=y
8 # CPU Core family selection
15 # CONFIG_ARCH_R8A7779 is not set
21 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
26 CONFIG_SYS_SUPPORTS_HUGETLBFS=y
27 CONFIG_PHYS_ADDR_T_64BIT=y
28 # CONFIG_TRANSPARENT_HUGEPAGE is not set
33 CONFIG_POWER_RESET_AXXIA=y
38 # CONFIG_IR_SUNXI is not set
41 # Clock Source drivers
43 # CONFIG_SH_TIMER_TMU is not set
44 # CONFIG_IPMMU_VMSA is not set
45 # CONFIG_ARM_SMMU is not set
50 # CONFIG_HUGETLBFS is not set
58 CONFIG_KVM_ARM_MAX_VCPUS=4
60 CONFIG_KVM_ARM_TIMER=y