In the trenches with Thomas Gleixner, real-time Linux kernel patch setlinux.com3 pointsCrankyBear5 years ago