2 ms·In the trenches with Thomas Gleixner, real-time Linux kernel patch set3 points by CrankyBear 6y ago