Beyond micro-kernel design: decoupling modularity and protection in Lipto | IEEE Conference Publication | IEEE Xplore