I. Zagan and V. G. Gaitan, “Improving the Performance of CPU Architectures by Reducing the Operating System Overhead (Extended Version)”, ECCE, vol. 10, no. 1, pp. 13–22, Jul. 2016, doi: 10.1515/ecce-2016-0002.