20 years later, real-time Linux makes it to the kernel 142 points by axiomdata316 3 months ago 26 comments story