kernelconfig_penguin

CONFIG_HAVE_NMI (not configurable)

configname: CONFIG_HAVE_NMI

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