]> git.ipfire.org Git - ipfire-3.x.git/blobdiff - kernel/config-arm64-generic
kernel: Update to 5.3.7
[ipfire-3.x.git] / kernel / config-arm64-generic
index 7192d743527e2b9f3a9b945ee013884b8c9d1f05..694b0dd484ffd16cd591fb1451e4e0c2b142857d 100644 (file)
@@ -1,14 +1,14 @@
 CONFIG_THREAD_INFO_IN_TASK=y
 
 #
-# IRQ subsystem
+# Timers subsystem
 #
-CONFIG_GENERIC_IRQ_MIGRATION=y
+# CONFIG_CONTEXT_TRACKING_FORCE is not set
+# end of Timers subsystem
 
 #
-# RCU Subsystem
+# Scheduler features
 #
-# CONFIG_CONTEXT_TRACKING_FORCE is not set
 CONFIG_ARCH_SUPPORTS_NUMA_BALANCING=y
 CONFIG_ARCH_SUPPORTS_INT128=y
 # CONFIG_NUMA_BALANCING is not set
@@ -29,14 +29,17 @@ CONFIG_ILLEGAL_POINTER_VALUE=0xdead000000000000
 CONFIG_GENERIC_BUG_RELATIVE_POINTERS=y
 CONFIG_GENERIC_CSUM=y
 CONFIG_ZONE_DMA32=y
+CONFIG_ARCH_ENABLE_MEMORY_HOTPLUG=y
 CONFIG_ARCH_PROC_KCORE_TEXT=y
 
 #
 # Platform selection
 #
+# CONFIG_ARCH_AGILEX is not set
 # CONFIG_ARCH_SUNXI is not set
 # CONFIG_ARCH_BCM_IPROC is not set
 # CONFIG_ARCH_BERLIN is not set
+# CONFIG_ARCH_BITMAIN is not set
 # CONFIG_ARCH_BRCMSTB is not set
 # CONFIG_ARCH_EXYNOS is not set
 # CONFIG_ARCH_K3 is not set
@@ -44,44 +47,25 @@ CONFIG_ARCH_PROC_KCORE_TEXT=y
 # CONFIG_ARCH_LG1K is not set
 # CONFIG_ARCH_HISI is not set
 # CONFIG_ARCH_MEDIATEK is not set
+# CONFIG_ARCH_MXC is not set
 # CONFIG_ARCH_QCOM is not set
 # CONFIG_ARCH_REALTEK is not set
 # CONFIG_ARCH_ROCKCHIP is not set
 CONFIG_ARCH_SEATTLE=y
-# CONFIG_ARCH_SYNQUACER is not set
 # CONFIG_ARCH_STRATIX10 is not set
+# CONFIG_ARCH_SYNQUACER is not set
 # CONFIG_ARCH_TEGRA is not set
 # CONFIG_ARCH_SPRD is not set
 # CONFIG_ARCH_THUNDER is not set
 # CONFIG_ARCH_THUNDER2 is not set
 CONFIG_ARCH_XGENE=y
 # CONFIG_ARCH_ZYNQMP is not set
-
-#
-# Bus support
-#
-CONFIG_PCI_LABEL=y
-CONFIG_HOTPLUG_PCI_ACPI=y
-CONFIG_HOTPLUG_PCI_ACPI_IBM=y
-
-#
-# Cadence PCIe controllers support
-#
-CONFIG_PCI_FTPCI100=y
-CONFIG_PCI_XGENE=y
-CONFIG_PCI_XGENE_MSI=y
-CONFIG_PCI_HOST_THUNDER_PEM=y
-CONFIG_PCI_HOST_THUNDER_ECAM=y
-
-#
-# DesignWare PCI Core Support
-#
-CONFIG_PCI_HISI=y
-# CONFIG_PCIE_KIRIN is not set
+# end of Platform selection
 
 #
 # ARM errata workarounds via the alternatives framework
 #
+CONFIG_ARM64_WORKAROUND_CLEAN_CACHE=y
 CONFIG_ARM64_ERRATUM_826319=y
 CONFIG_ARM64_ERRATUM_827319=y
 CONFIG_ARM64_ERRATUM_824069=y
@@ -91,22 +75,30 @@ CONFIG_ARM64_ERRATUM_834220=y
 CONFIG_ARM64_ERRATUM_845719=y
 CONFIG_ARM64_ERRATUM_843419=y
 CONFIG_ARM64_ERRATUM_1024718=y
+CONFIG_ARM64_ERRATUM_1418040=y
+CONFIG_ARM64_ERRATUM_1165522=y
+CONFIG_ARM64_ERRATUM_1286807=y
+CONFIG_ARM64_ERRATUM_1463225=y
 CONFIG_CAVIUM_ERRATUM_22375=y
 CONFIG_CAVIUM_ERRATUM_23144=y
 CONFIG_CAVIUM_ERRATUM_23154=y
 CONFIG_CAVIUM_ERRATUM_27456=y
 CONFIG_CAVIUM_ERRATUM_30115=y
 CONFIG_QCOM_FALKOR_ERRATUM_1003=y
+CONFIG_ARM64_WORKAROUND_REPEAT_TLBI=y
 CONFIG_QCOM_FALKOR_ERRATUM_1009=y
 CONFIG_QCOM_QDF2400_ERRATUM_0065=y
 # CONFIG_SOCIONEXT_SYNQUACER_PREITS is not set
 # CONFIG_HISILICON_ERRATUM_161600802 is not set
 CONFIG_QCOM_FALKOR_ERRATUM_E1041=y
+CONFIG_FUJITSU_ERRATUM_010001=y
+# end of ARM errata workarounds via the alternatives framework
 # CONFIG_ARM64_4K_PAGES is not set
 # CONFIG_ARM64_16K_PAGES is not set
 CONFIG_ARM64_64K_PAGES=y
 CONFIG_ARM64_VA_BITS_42=y
 # CONFIG_ARM64_VA_BITS_48 is not set
+# CONFIG_ARM64_USER_VA_BITS_52 is not set
 CONFIG_ARM64_VA_BITS=42
 CONFIG_ARM64_PA_BITS_48=y
 # CONFIG_ARM64_PA_BITS_52 is not set
@@ -117,25 +109,25 @@ CONFIG_NODES_SHIFT=2
 CONFIG_USE_PERCPU_NUMA_NODE_ID=y
 CONFIG_NEED_PER_CPU_EMBED_FIRST_CHUNK=y
 CONFIG_HOLES_IN_ZONE=y
-# CONFIG_HZ_100 is not set
-CONFIG_HZ_300=y
-CONFIG_HZ=300
 CONFIG_ARCH_SUPPORTS_DEBUG_PAGEALLOC=y
 CONFIG_ARCH_SPARSEMEM_ENABLE=y
 CONFIG_ARCH_SPARSEMEM_DEFAULT=y
 CONFIG_ARCH_SELECT_MEMORY_MODEL=y
 CONFIG_SYS_SUPPORTS_HUGETLBFS=y
 CONFIG_ARCH_HAS_CACHE_LINE_SIZE=y
+# CONFIG_KEXEC_FILE is not set
 # CONFIG_CRASH_DUMP is not set
 CONFIG_FORCE_MAX_ZONEORDER=11
 CONFIG_UNMAP_KERNEL_AT_EL0=y
 CONFIG_HARDEN_EL2_VECTORS=y
 CONFIG_ARM64_SSBD=y
+CONFIG_RODATA_FULL_DEFAULT_ENABLED=y
+CONFIG_ARM64_SW_TTBR0_PAN=y
+CONFIG_COMPAT=y
 CONFIG_ARMV8_DEPRECATED=y
 CONFIG_SWP_EMULATION=y
 CONFIG_CP15_BARRIER_EMULATION=y
 CONFIG_SETEND_EMULATION=y
-# CONFIG_ARM64_SW_TTBR0_PAN is not set
 
 #
 # ARMv8.1 architectural features
@@ -144,15 +136,26 @@ CONFIG_ARM64_HW_AFDBM=y
 CONFIG_ARM64_PAN=y
 CONFIG_ARM64_LSE_ATOMICS=y
 CONFIG_ARM64_VHE=y
+# end of ARMv8.1 architectural features
 
 #
 # ARMv8.2 architectural features
 #
 CONFIG_ARM64_UAO=y
-# CONFIG_ARM64_PMEM is not set
+CONFIG_ARM64_PMEM=y
 CONFIG_ARM64_RAS_EXTN=y
+CONFIG_ARM64_CNP=y
+# end of ARMv8.2 architectural features
+
+#
+# ARMv8.3 architectural features
+#
+CONFIG_ARM64_PTR_AUTH=y
+# end of ARMv8.3 architectural features
 CONFIG_ARM64_SVE=y
 CONFIG_ARM64_MODULE_PLTS=y
+CONFIG_ARM64_PSEUDO_NMI=y
+# CONFIG_ARM64_DEBUG_PRIORITY_MASKING is not set
 CONFIG_RELOCATABLE=y
 CONFIG_RANDOMIZE_BASE=y
 CONFIG_RANDOMIZE_MODULE_REGION_FULL=y
@@ -165,14 +168,13 @@ CONFIG_CMDLINE=""
 CONFIG_EFI_STUB=y
 CONFIG_EFI=y
 CONFIG_DMI=y
-CONFIG_COMPAT=y
+# end of Boot options
 CONFIG_SYSVIPC_COMPAT=y
 
 #
 # CPU frequency scaling drivers
 #
 CONFIG_ACPI_CPPC_CPUFREQ=m
-CONFIG_ARM_DT_BL_CPUFREQ=m
 
 #
 # Firmware Drivers
@@ -180,6 +182,7 @@ CONFIG_ARM_DT_BL_CPUFREQ=m
 # CONFIG_ARM_SDE_INTERFACE is not set
 CONFIG_DMIID=y
 CONFIG_DMI_SYSFS=y
+# CONFIG_ISCSI_IBFT is not set
 CONFIG_FW_CFG_SYSFS=m
 # CONFIG_FW_CFG_SYSFS_CMDLINE is not set
 
@@ -198,6 +201,9 @@ CONFIG_EFI_ARMSTUB_DTB_LOADER=y
 # CONFIG_EFI_CAPSULE_LOADER is not set
 # CONFIG_EFI_TEST is not set
 # CONFIG_RESET_ATTACK_MITIGATION is not set
+# end of EFI (Extensible Firmware Interface) Support
+CONFIG_EFI_EARLYCON=y
+# end of Firmware Drivers
 
 #
 # Tegra firmware driver
@@ -209,6 +215,8 @@ CONFIG_ACPI_CCA_REQUIRED=y
 # CONFIG_ACPI_DEBUGGER is not set
 CONFIG_ACPI_SPCR_TABLE=y
 # CONFIG_ACPI_EC_DEBUGFS is not set
+CONFIG_ACPI_AC=y
+CONFIG_ACPI_BATTERY=y
 CONFIG_ACPI_BUTTON=m
 CONFIG_ACPI_FAN=m
 CONFIG_ACPI_DOCK=y
@@ -229,6 +237,8 @@ CONFIG_ACPI_HED=m
 CONFIG_ACPI_CUSTOM_METHOD=m
 # CONFIG_ACPI_BGRT is not set
 CONFIG_ACPI_REDUCED_HARDWARE_ONLY=y
+# CONFIG_ACPI_NFIT is not set
+# CONFIG_ACPI_HMAT is not set
 # CONFIG_ACPI_APEI is not set
 CONFIG_ACPI_WATCHDOG=y
 # CONFIG_PMIC_OPREGION is not set
@@ -256,7 +266,6 @@ CONFIG_CRYPTO_SHA3_ARM64=m
 # CONFIG_CRYPTO_SM4_ARM64_CE is not set
 CONFIG_CRYPTO_GHASH_ARM64_CE=m
 CONFIG_CRYPTO_CRCT10DIF_ARM64_CE=m
-CONFIG_CRYPTO_CRC32_ARM64_CE=m
 CONFIG_CRYPTO_AES_ARM64=m
 CONFIG_CRYPTO_AES_ARM64_CE=m
 CONFIG_CRYPTO_AES_ARM64_CE_CCM=m
@@ -267,14 +276,16 @@ CONFIG_CRYPTO_AES_ARM64_BS=m
 #
 # General architecture-dependent options
 #
+CONFIG_ARCH_HAS_SET_DIRECT_MAP=y
 CONFIG_ARCH_HAVE_NMI_SAFE_CMPXCHG=y
 CONFIG_ARCH_WANT_COMPAT_IPC_PARSE_VERSION=y
 CONFIG_MODULES_USE_ELF_RELA=y
 CONFIG_ARCH_MMAP_RND_BITS=27
 CONFIG_ARCH_MMAP_RND_COMPAT_BITS=8
 CONFIG_COMPAT_OLD_SIGACTION=y
-CONFIG_COMPAT_32BIT_TIME=y
 CONFIG_VMAP_STACK=y
+CONFIG_ARCH_USE_MEMREMAP_PROT=y
+# end of General architecture-dependent options
 
 #
 # Partition Types
@@ -341,6 +352,7 @@ CONFIG_ARCH_HAS_SYSCALL_WRAPPER=y
 # Executable file formats
 #
 CONFIG_COMPAT_BINFMT_ELF=y
+# end of Executable file formats
 
 #
 # Memory Management options
@@ -352,23 +364,53 @@ CONFIG_NEED_MULTIPLE_NODES=y
 CONFIG_SPARSEMEM_EXTREME=y
 CONFIG_SPARSEMEM_VMEMMAP_ENABLE=y
 CONFIG_SPARSEMEM_VMEMMAP=y
+# CONFIG_MEMORY_HOTPLUG is not set
 CONFIG_PHYS_ADDR_T_64BIT=y
 CONFIG_ARCH_SUPPORTS_MEMORY_FAILURE=y
 # CONFIG_MEMORY_FAILURE is not set
 # CONFIG_TRANSPARENT_HUGEPAGE is not set
 # CONFIG_DEFERRED_STRUCT_PAGE_INIT is not set
+CONFIG_ARCH_HAS_PTE_DEVMAP=y
 CONFIG_ARCH_HAS_PTE_SPECIAL=y
+# end of Memory Management options
 CONFIG_COMPAT_NETLINK_MESSAGES=y
 
+#
+# Device Drivers
+#
+CONFIG_PCI_LABEL=y
+CONFIG_HOTPLUG_PCI_ACPI=y
+CONFIG_HOTPLUG_PCI_ACPI_IBM=y
+
+#
+# Cadence PCIe controllers support
+#
+CONFIG_PCI_FTPCI100=y
+CONFIG_PCI_XGENE=y
+CONFIG_PCI_XGENE_MSI=y
+# CONFIG_PCIE_ALTERA is not set
+CONFIG_PCI_HOST_THUNDER_PEM=y
+CONFIG_PCI_HOST_THUNDER_ECAM=y
+
+#
+# DesignWare PCI Core Support
+#
+CONFIG_PCI_HISI=y
+# CONFIG_PCIE_KIRIN is not set
+# end of DesignWare PCI Core Support
+
 #
 # Firmware loader
 #
 # CONFIG_FW_LOADER_USER_HELPER_FALLBACK is not set
+# end of Firmware loader
+CONFIG_GENERIC_CPU_VULNERABILITIES=y
 
 #
 # Bus devices
 #
 # CONFIG_BRCMSTB_GISB_ARB is not set
+# end of Bus devices
 CONFIG_OF_NUMA=y
 CONFIG_PNP=y
 # CONFIG_PNP_DEBUG_MESSAGES is not set
@@ -389,7 +431,6 @@ CONFIG_BLK_DEV_SKD=m
 #
 CONFIG_SCSI_HISI_SAS=m
 CONFIG_SCSI_HISI_SAS_PCI=m
-# CONFIG_SCSI_LOWLEVEL_PCMCIA is not set
 CONFIG_ATA_ACPI=y
 CONFIG_SATA_ZPODD=y
 
@@ -411,6 +452,7 @@ CONFIG_VORTEX=m
 CONFIG_AMD_XGBE=m
 CONFIG_NET_XGENE=m
 CONFIG_NET_XGENE_V2=m
+CONFIG_AQTION=m
 CONFIG_MACB=m
 CONFIG_MACB_USE_HWSTAMP=y
 CONFIG_MACB_PCI=m
@@ -423,6 +465,8 @@ CONFIG_LIQUIDIO=m
 CONFIG_LIQUIDIO_VF=m
 CONFIG_HNS3_ENET=m
 CONFIG_HINIC=m
+CONFIG_OCTEONTX2_MBOX=m
+CONFIG_OCTEONTX2_AF=m
 CONFIG_NET_SB1000=m
 CONFIG_MDIO_BUS_MUX=m
 CONFIG_MDIO_CAVIUM=m
@@ -439,11 +483,13 @@ CONFIG_MDIO_XGENE=m
 # Input device support
 #
 CONFIG_INPUT_MATRIXKMAP=m
+# end of Input device support
 
 #
 # Serial drivers
 #
 CONFIG_SERIAL_8250_PNP=y
+# end of Serial drivers
 
 #
 # Non-8250 serial port support
@@ -452,12 +498,18 @@ CONFIG_HVC_DCC=y
 CONFIG_IPMI_DMI_DECODE=y
 CONFIG_HW_RANDOM_XGENE=m
 CONFIG_HW_RANDOM_CAVIUM=y
+CONFIG_HW_RANDOM_OPTEE=m
 
 #
 # I2C support
 #
 CONFIG_ACPI_I2C_OPREGION=y
 
+#
+# PC SMBus host controller drivers
+#
+CONFIG_I2C_AMD_MP2=m
+
 #
 # ACPI drivers
 #
@@ -476,6 +528,7 @@ CONFIG_I2C_THUNDERX=m
 # Other I2C/SMBus bus drivers
 #
 CONFIG_I2C_XGENE_SLIMPRO=m
+# end of I2C support
 
 #
 # Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
@@ -489,6 +542,7 @@ CONFIG_PINCTRL_MESON_GXBB=y
 CONFIG_PINCTRL_MESON_GXL=y
 CONFIG_PINCTRL_MESON_AXG=y
 CONFIG_PINCTRL_MESON_AXG_PMX=y
+CONFIG_PINCTRL_MESON_G12A=y
 CONFIG_GPIO_ACPI=y
 
 #
@@ -499,11 +553,19 @@ CONFIG_GPIO_DWAPB=m
 CONFIG_GPIO_XGENE=y
 CONFIG_GPIO_XGENE_SB=m
 CONFIG_GPIO_XILINX=m
+# end of Memory mapped GPIO drivers
 
 #
 # MFD GPIO expanders
 #
 # CONFIG_GPIO_TPS68470 is not set
+# end of MFD GPIO expanders
+
+#
+# PCI GPIO expanders
+#
+CONFIG_GPIO_MLXBF=m
+# end of PCI GPIO expanders
 
 #
 # USB GPIO expanders
@@ -513,17 +575,15 @@ CONFIG_POWER_RESET_XGENE=y
 #
 # Native drivers
 #
+CONFIG_SENSORS_MLXREG_FAN=m
 CONFIG_SENSORS_XGENE=m
-
-#
-# ACPI drivers
-#
 CONFIG_SENSORS_ACPI_POWER=m
 
 #
 # Watchdog Device Drivers
 #
 CONFIG_WDAT_WDT=m
+CONFIG_MLX_WDT=m
 CONFIG_ARM_SBSA_WATCHDOG=m
 
 #
@@ -536,6 +596,7 @@ CONFIG_ARM_SBSA_WATCHDOG=m
 # STMicroelectronics STMPE Interface Drivers
 #
 CONFIG_MFD_TPS68470=y
+# end of Multifunction device drivers
 # CONFIG_REGULATOR_88PM8607 is not set
 # CONFIG_REGULATOR_GPIO is not set
 CONFIG_REGULATOR_HI6421V530=m
@@ -547,6 +608,12 @@ CONFIG_REGULATOR_HI6421V530=m
 # CONFIG_IR_FINTEK is not set
 # CONFIG_IR_NUVOTON is not set
 
+#
+# Display Engine Configuration
+#
+# CONFIG_HSA_AMD is not set
+CONFIG_DRM_RCAR_WRITEBACK=y
+
 #
 # Display Interface Bridges
 #
@@ -564,6 +631,7 @@ CONFIG_FB_EFI=y
 #
 CONFIG_DUMMY_CONSOLE_COLUMNS=80
 CONFIG_DUMMY_CONSOLE_ROWS=25
+# end of Console display driver support
 # CONFIG_SND_LX6464ES is not set
 
 #
@@ -571,9 +639,15 @@ CONFIG_DUMMY_CONSOLE_ROWS=25
 #
 # CONFIG_SND_DESIGNWARE_PCM is not set
 
+#
+# Common SoC Audio options for Freescale CPUs:
+#
+CONFIG_SND_SOC_FSL_MICFIL=m
+
 #
 # STMicroelectronics STM32 SOC audio support
 #
+# CONFIG_SND_SOC_XILINX_I2S is not set
 # CONFIG_SND_SOC_XTFPGA_I2S is not set
 
 #
@@ -613,31 +687,39 @@ CONFIG_RTC_DRV_XGENE=m
 #
 # DMA Devices
 #
-CONFIG_ASYNC_TX_ENABLE_CHANNEL_SWITCH=y
 CONFIG_DMA_ACPI=y
 CONFIG_BCM_SBA_RAID=m
 CONFIG_MV_XOR_V2=y
 CONFIG_XGENE_DMA=m
 
 #
-# DMA Clients
+# DMABUF options
 #
-CONFIG_DMA_ENGINE_RAID=y
+CONFIG_VIRTIO_PMEM=m
 
 #
 # Xen driver support
 #
 CONFIG_XEN_EFI=y
+# end of Xen driver support
+CONFIG_MELLANOX_PLATFORM=y
+CONFIG_MLXREG_HOTPLUG=m
+CONFIG_MLXREG_IO=m
+CONFIG_MLXBF_TMFIFO=m
 
 #
 # Common Clock Framework
 #
 CONFIG_COMMON_CLK_XGENE=y
-CONFIG_COMMON_CLK_AMLOGIC_AUDIO=y
-CONFIG_COMMON_CLK_MESON_AO=y
+CONFIG_COMMON_CLK_MESON_INPUT=y
+CONFIG_COMMON_CLK_MESON_DUALDIV=y
+CONFIG_COMMON_CLK_MESON_VID_PLL_DIV=y
+CONFIG_COMMON_CLK_MESON_AO_CLKC=y
+CONFIG_COMMON_CLK_MESON_EE_CLKC=y
 CONFIG_COMMON_CLK_GXBB=y
 CONFIG_COMMON_CLK_AXG=y
-CONFIG_COMMON_CLK_AXG_AUDIO=m
+CONFIG_COMMON_CLK_G12A=y
+# end of Common Clock Framework
 
 #
 # Clock Source drivers
@@ -647,6 +729,7 @@ CONFIG_ARM_ARCH_TIMER_OOL_WORKAROUND=y
 CONFIG_FSL_ERRATUM_A008585=y
 CONFIG_HISILICON_ERRATUM_161010101=y
 CONFIG_ARM64_ERRATUM_858921=y
+# end of Clock Source drivers
 # CONFIG_PL320_MBOX is not set
 CONFIG_PCC=y
 CONFIG_XGENE_SLIMPRO_MBOX=m
@@ -661,11 +744,13 @@ CONFIG_ARM_SMMU_V3=y
 # Remoteproc drivers
 #
 # CONFIG_REMOTEPROC is not set
+# end of Remoteproc drivers
 
 #
 # Broadcom SoC drivers
 #
 # CONFIG_SOC_BRCMSTB is not set
+# end of Broadcom SoC drivers
 
 #
 # DEVFREQ Governors
@@ -677,20 +762,24 @@ CONFIG_DEVFREQ_GOV_PASSIVE=m
 # Light sensors
 #
 # CONFIG_ACPI_ALS is not set
+# end of Light sensors
 
 #
 # PHY Subsystem
 #
 CONFIG_PHY_XGENE=m
+# end of PHY Subsystem
 
 #
 # Performance monitor support
 #
 CONFIG_ARM_PMU_ACPI=y
+CONFIG_ARM_SMMU_V3_PMU=m
 # CONFIG_ARM_DSU_PMU is not set
 # CONFIG_HISI_PMU is not set
 CONFIG_XGENE_PMU=y
 # CONFIG_ARM_SPE_PMU is not set
+# end of Performance monitor support
 
 #
 # Android
@@ -708,6 +797,7 @@ CONFIG_DAX_DRIVER=y
 # HW tracing support
 #
 # CONFIG_INTEL_TH_ACPI is not set
+# end of HW tracing support
 CONFIG_TEE=m
 
 #
@@ -715,6 +805,7 @@ CONFIG_TEE=m
 #
 CONFIG_OPTEE=m
 CONFIG_OPTEE_SHM_NUM_PRIV_PAGES=1
+# end of TEE drivers
 
 #
 # Multiplexer drivers
@@ -722,6 +813,8 @@ CONFIG_OPTEE_SHM_NUM_PRIV_PAGES=1
 CONFIG_MUX_ADG792A=m
 CONFIG_MUX_GPIO=m
 CONFIG_MUX_MMIO=m
+# end of Multiplexer drivers
+# end of Device Drivers
 
 #
 # File systems
@@ -735,11 +828,23 @@ CONFIG_MUX_MMIO=m
 # CONFIG_HUGETLBFS is not set
 CONFIG_ARCH_HAS_GIGANTIC_PAGE=y
 CONFIG_EFIVAR_FS=y
+# end of Pseudo filesystems
+# end of File systems
 
 #
 # Security options
 #
 CONFIG_KEYS_COMPAT=y
+
+#
+# Memory initialization
+#
+CONFIG_GCC_PLUGIN_STACKLEAK=y
+CONFIG_STACKLEAK_TRACK_MIN_SIZE=100
+# CONFIG_STACKLEAK_METRICS is not set
+# CONFIG_STACKLEAK_RUNTIME_DISABLE is not set
+# end of Memory initialization
+# end of Security options
 CONFIG_ASYNC_TX_DISABLE_PQ_VAL_DMA=y
 CONFIG_ASYNC_TX_DISABLE_XOR_VAL_DMA=y
 
@@ -762,19 +867,33 @@ CONFIG_ARCH_HAS_FAST_MULTIPLIER=y
 # CONFIG_INDIRECT_PIO is not set
 CONFIG_AUDIT_ARCH_COMPAT_GENERIC=y
 CONFIG_HAS_IOPORT_MAP=y
+CONFIG_ARCH_HAS_DMA_PREP_COHERENT=y
+CONFIG_DMA_DIRECT_REMAP=y
+
+#
+# Default contiguous memory area size:
+#
 CONFIG_UCS2_STRING=y
+CONFIG_GENERIC_GETTIMEOFDAY=y
+CONFIG_GENERIC_COMPAT_VDSO=y
+CONFIG_CROSS_COMPILE_COMPAT_VDSO=""
 CONFIG_SG_SPLIT=y
+CONFIG_ARCH_HAS_PMEM_API=y
+CONFIG_ARCH_HAS_UACCESS_FLUSHCACHE=y
+# end of Library routines
 
 #
 # Compile-time checks and compiler options
 #
 CONFIG_ARCH_WANT_FRAME_POINTERS=y
 CONFIG_FRAME_POINTER=y
+# end of Compile-time checks and compiler options
 
 #
 # Memory Debugging
 #
 # CONFIG_KASAN is not set
+# end of Memory Debugging
 
 #
 # RCU Debugging