On micro-kernel construction by Jochen Liedtke 2026-10-13
View more
Publisher: Association for Computing Machinery.
Published in Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP); also ACM SIGOPS Operating Systems Review, 29(5), pp. 237–250.
Cited passages: Liedtke, On micro-kernel construction, section 2, pp. 238–240: minimality criterion, address spaces, threads and IPC; section 3, pp. 240–241: user-level services; Liedtke, On micro-kernel construction, section 4.1, pp. 241–244: kernel-user switches, address-space switches, and discussion of hardware-dependent cache and TLB effects.
Read the full article