# CONFIG_STRICT_DEVMEM is not set
CONFIG_DEBUG_PAGEALLOC=y
# CONFIG_OSJITTER_TRACEPOINTS is not set
