#
# Automatically generated file; DO NOT EDIT.
-# Linux/arm64 5.15.28-gnu Kernel Configuration
+# Linux/arm64 5.15.31-gnu Kernel Configuration
#
CONFIG_CC_VERSION_TEXT="aarch64-linux-gcc (GCC) 11.2.0"
CONFIG_CC_IS_GCC=y
CONFIG_SCHED_HRTICK=y
CONFIG_ARCH_SPARSEMEM_ENABLE=y
CONFIG_HW_PERF_EVENTS=y
-CONFIG_ARCH_HAS_FILTER_PGPROT=y
CONFIG_PARAVIRT=y
# CONFIG_PARAVIRT_TIME_ACCOUNTING is not set
CONFIG_KEXEC=y