Constant kernel_config::time::CONFIG_RTC_FREQUENCY_HZ

pub const CONFIG_RTC_FREQUENCY_HZ: usize = 128;

the chosen interrupt frequency (in Hertz) of the RTC. valid values are powers of 2, from 2 Hz up to 8192 Hz see change_rtc_frequency()