# 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_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_PROC_PAGE_MONITOR=y
