Eftime, P., Mogoşanu, L., Carabaş, M., Deaconescu, R., Gheorghe, L., & Voiculescu, V. G. (2017). Optimizing Memory Usage in L4-Based Microkernel. COMPUTING AND INFORMATICS, 36(4), 925–949. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/2017_4_925