The company I work for (Red Hat) has made a ton of contributions to the Linux kernel to improve real time performance. The driver and money for these contributions is high-frequency traders, but the benefits accrue to all sorts of areas and kernel users.