Eftime, Petre and Mogosanu, Lucian and Carabas, Mihai and Gheorghe, Laura and Deaconescu, Razvan (2015) Adding SMP support to fastpaths in an L4 microkernel. In: 5th International Conference on Computing and Informatics (ICOCI) 2015, 11-13 August 2015, Istanbul, Turkey.