Enhancing the real-time capability of the Linux kernel | IEEE Conference Publication | IEEE Xplore