Eftime, Petre, et al. “Optimizing Memory Usage in L4-Based Microkernel”. COMPUTING AND INFORMATICS, vol. 36, no. 4, Nov. 2017, pp. 925-49, https://www.cai.sk/ojs/index.php/cai/article/view/2017_4_925.