Improving interrupt response time in a verifiable protected microkernel.

Bernard Blackham, Yao Shi, Gernot Heiser

Browse the full EuroSys paper archive.