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
22 CONFIG_ARCH_DMA_ADDR_T_64BIT=y
27 CONFIG_SYS_SUPPORTS_HUGETLBFS=y
28 CONFIG_PHYS_ADDR_T_64BIT=y
30 # CONFIG_TRANSPARENT_HUGEPAGE is not set
33 # I2C system bus drivers (mostly embedded / system-on-chip)
40 CONFIG_POWER_RESET_AXXIA=y
41 CONFIG_ROCKCHIP_IODOMAIN=m
46 # CONFIG_IR_SUNXI is not set
49 # Clock Source drivers
51 # CONFIG_SH_TIMER_TMU is not set
52 # CONFIG_IPMMU_VMSA is not set
53 # CONFIG_ARM_SMMU is not set
56 # Analog to digital converters
58 # CONFIG_ROCKCHIP_SARADC is not set
61 # Digital to analog converters
63 # CONFIG_MAX5821 is not set
68 # CONFIG_HUGETLBFS is not set
71 # Lock Debugging (spinlocks, mutexes, etc...)
73 # CONFIG_DEBUG_WW_MUTEX_SLOWPATH is not set
74 # CONFIG_DEBUG_LOCK_ALLOC is not set
75 # CONFIG_PROVE_LOCKING is not set
76 # CONFIG_LOCK_STAT is not set
84 CONFIG_KVM_ARM_MAX_VCPUS=4
86 CONFIG_KVM_ARM_TIMER=y