# This file is intentionally left empty in the stock kernel. Its a nicety
# added for those wanting to do custom rebuilds with altered config opts.
# CONFIG_IOMMU_DEFAULT_DMA_LAZY is not set
# CONFIG_X86_VSYSCALL_EMULATION is not set
# CONFIG_INFINIBAND is not set
# CONFIG_NETCONSOLE is not set
# CONFIG_6LOWPAN is not set
# CONFIG_IEEE802154 is not set
# CONFIG_AF_RXRPC is not set
# CONFIG_AFS_FS is not set
# CONFIG_XDP_SOCKETS_DIAG is not set
# CONFIG_VSOCKETS_DIAG is not set
# CONFIG_HSR is not set
# CONFIG_NET_DSA is not set
# CONFIG_X86_MCE_INJECT is not set
# CONFIG_HWPOISON_INJECT is not set
# CONFIG_PCIEAER_INJECT is not set
# CONFIG_SCSI_DEBUG is not set
# CONFIG_USB_SERIAL_DEBUG is not set
# CONFIG_RING_BUFFER_BENCHMARK is not set
# CONFIG_DRM_VKMS is not set
# CONFIG_USB_DUMMY_HCD is not set
# CONFIG_MTD_NAND_NANDSIM is not set
# CONFIG_MTD_MTDRAM is not set
# CONFIG_MEDIA_TEST_SUPPORT is not set
# CONFIG_SERIAL_NONSTANDARD is not set
# CONFIG_NOZOMI is not set
# CONFIG_RC_CORE is not set
# CONFIG_IIO is not set
# CONFIG_USB_GSPCA is not set
# CONFIG_HAMRADIO is not set
# CONFIG_MEDIA_RADIO_SUPPORT is not set
# CONFIG_MEDIA_DIGITAL_TV_SUPPORT is not set
# CONFIG_MEDIA_ANALOG_TV_SUPPORT is not set
# CONFIG_BLK_DEV_FD is not set
# CONFIG_HID_PXRC is not set
# CONFIG_VIDEO_CS3308 is not set
# CONFIG_VIDEO_SAA6752HS is not set
# CONFIG_GNSS is not set
# CONFIG_GPIB is not set
# CONFIG_DEVPORT is not set
# CONFIG_DEVMEM is not set
# CONFIG_STRICT_DEVMEM is not set
# CONFIG_IO_STRICT_DEVMEM is not set
# CONFIG_KPROBES is not set
# CONFIG_KPROBE_EVENTS is not set
# CONFIG_KPROBES_SANITY_TEST is not set
# CONFIG_KGDB_HONOUR_BLOCKLIST is not set
# CONFIG_KGDB_LOW_LEVEL_TRAP is not set
# CONFIG_KGDB_SERIAL_CONSOLE is not set
# CONFIG_KGDB_TESTS is not set
# CONFIG_KGDB is not set
# CONFIG_PROC_KCORE is not set
# CONFIG_HIBERNATION is not set
# CONFIG_EFI_TEST is not set
# CONFIG_MMIOTRACE is not set
# CONFIG_KEXEC is not set
# CONFIG_KEXEC_FILE is not set
# CONFIG_KEXEC_HANDOVER_DEBUGFS is not set
# CONFIG_KEXEC_HANDOVER is not set
# CONFIG_KEXEC_JUMP is not set
# CONFIG_LIVEUPDATE is not set
# CONFIG_LIVEUPDATE_MEMFD is not set
# CONFIG_CRASH_DUMP is not set
# CONFIG_PRESERVE_FA_DUMP is not set
# CONFIG_PROC_VMCORE is not set
# CONFIG_CRASH_DM_CRYPT is not set
# CONFIG_EFI_CUSTOM_SSDT_OVERLAYS is not set
# CONFIG_ACPI_TABLE_UPGRADE is not set
CONFIG_PROC_PAGE_MONITOR=y
CONFIG_INIT_ON_ALLOC_DEFAULT_ON=y
CONFIG_INIT_ON_FREE_DEFAULT_ON=y
CONFIG_IOMMU_DEFAULT_DMA_STRICT=y
