A performance comparison of Linux and a lightweight kernel | IEEE Conference Publication | IEEE Xplore