Eftime, Petre, et al. “Optimizing Memory Usage in L4-Based Microkernel”. Computing and Informatics, vol. 36, no. 4, Nov. 2017, pp. 925-49, http://147.213.75.17/ojs/index.php/cai/article/view/2017_4_925.