On the Scalability, Performance Isolation and Device Driver Transparency of the IHK/McKernel Hybrid Lightweight Kernel | IEEE Conference Publication | IEEE Xplore