Blackham, Shi, Heiser, 2012. Improving interrupt response time in a verifiable protected microkernel, in: . ACM Press.. https://doi.org/10.1145/2168836.2168869