Files
luckfox-pico/sysdrv/source/kernel/Documentation/timers/no_hz.rst