Eftime, P. et al. 2017. Optimizing Memory Usage in L4-Based Microkernel. COMPUTING AND INFORMATICS. 36, 4 (Nov. 2017), 925–949.