default or selected kernelversion does not have config value CONFIG_HPET_RTC_IRQ.
Result is shown for kernelversion 5.3.7
CONFIG_HPET_RTC_IRQ (not configurable)
configname: CONFIG_HPET_RTC_IRQ
Linux Kernel Configuration
└─>Device Drivers
└─>Character devices
└─>HPET_RTC_IRQ
In linux kernel since version 2.6.20 (release Date: 2007-02-04)
If you say Y here, you will disable RTC_IRQ in drivers/char/rtc.c. It
is assumed the platform called hpet_alloc with the RTC IRQ values for
the HPET timers.
is assumed the platform called hpet_alloc with the RTC IRQ values for
the HPET timers.