kernelconfig_penguin

CONFIG_MMU_GATHER_RCU_TABLE_FREE (not configurable)

configname: CONFIG_MMU_GATHER_RCU_TABLE_FREE

Linux Kernel Configuration
└─> General architecture-dependent options
└─> MMU_GATHER_RCU_TABLE_FREE