# # IO Schedulers # CONFIG_PREEMPT_NOTIFIERS=y # # Processor Features # CONFIG_ARM_LPAE=y CONFIG_ARCH_PHYS_ADDR_T_64BIT=y # # Kernel Features # CONFIG_SYS_SUPPORTS_HUGETLBFS=y CONFIG_PHYS_ADDR_T_64BIT=y # CONFIG_TRANSPARENT_HUGEPAGE is not set # # Hardware Spinlock drivers # # CONFIG_ARM_SMMU is not set # # Pseudo filesystems # # CONFIG_HUGETLBFS is not set # # Library routines # CONFIG_KVM_MMIO=y CONFIG_KVM=y CONFIG_KVM_ARM_HOST=y CONFIG_KVM_ARM_MAX_VCPUS=4 CONFIG_KVM_ARM_VGIC=y CONFIG_KVM_ARM_TIMER=y