Bernard Blackham, Yao Shi, Gernot Heiser. Improving interrupt response time in a verifiable protected microkernel. In Pascal Felber, Frank Bellosa, Herbert Bos, editors, European Conference on Computer Systems, Proceedings of the Seventh EuroSys Conference 2012, EuroSys '12, Bern, Switzerland, April 10-13, 2012. pages 323-336, ACM, 2012. [doi]
Abstract is missing.