Lightweight Capability Domains: Towards Decomposing the Linux Kernel. - Charles Jacobsen; Muktesh Khole; Sarah Spall; Scotty Bauer; Anton Burtsev (ACM SIGOPS Oper. Syst. Rev., 2015)