Greetings, I realize this topic harks back some time, but I'm curious whether CONFIG_HZ_1000 remains relevant for real-time kernels. It seems Ubuntu has adopted this setting for their low-latency kernel, as noted in their blog: https://ubuntu.com/blog/industrialembedded-systems-ii.