Eftime, P. (2017) “Optimizing Memory Usage in L4-Based Microkernel”, Computing and Informatics, 36(4), pp. 925–949. Available at: http://147.213.75.17/ojs/index.php/cai/article/view/2017_4_925 (Accessed: 23 November 2024).