kernelconfig_penguin

CONFIG_GENERIC_TIME (not configurable)

configname: CONFIG_GENERIC_TIME

Linux Kernel Configuration for x86
└─> GENERIC_TIME