Performance and Scalability of Lightweight Multi-kernel Based Operating Systems | IEEE Conference Publication | IEEE Xplore