Optimizing Memory Usage in L4-Based Microkernel. - Petre Eftime; Lucian Mogosanu; Mihai Carabas; Razvan Deaconescu; Laura Gheorghe; Valentin-Gabriel Voiculescu (Comput. Informatics, 2017)