Eftime, P. (2017) “Optimizing Memory Usage in L4-Based Microkernel”, COMPUTING AND INFORMATICS, 36(4), pp. 925–949. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/2017_4_925 (Accessed: 4 May 2024).