That's predominantly about the kernel crash, not the high-CPU futex issue. One of the most maddening things about this is that there have been several differen

That's predominantly about the kernel crash, not the high-CPU futex issue. One of the most maddening things about this is that there have been several different issues related to leap seconds on Linux, making it all the harder to get information.