Microkernel
Chú thích

↑  Herder, Jorrit N. (ngày 23 tháng 2 năm 2005). “Toward a True Microkernel Operating System” (PDF). minix3.org. Truy cập ngày 22 tháng 6 năm 2015.
↑  “What is MINIX 3?”. https://wiki.minix3.org/. Bản gốc lưu trữ ngày 20 tháng 8 năm 2020. Truy cập ngày 19 tháng 10 năm 2020. Liên kết ngoài trong |website= (trợ giúp)
↑  “2002 Computer Pioneer Award Recipient”. IEEE Computer Society. Truy cập ngày 13 tháng 9 năm 2016.
↑  Brinch Hansen, Per (2004). A Programmer's Story: The Life of a Computer Pioneer. Truy cập ngày 13 tháng 9 năm 2016.
↑  Brinch Hansen, Per (1970). “The Nucleus of a Multiprogramming Operating System” (PDF). Communications of the ACM. 13 (4): 238–250. CiteSeerX 10.1.1.105.4204. doi:10.1145/362258.362278.
↑  .Wulf, William; Cohen, Ellis; Corwin, William; Jones, Anita; Levin, Roy; Pierson, C.; Pollack, Fred (tháng 6 năm 1974). “HYDRA: The Kernel of a Multiprocessor Operating System”. Communications of the ACM. 17 (6): 337–345. doi:10.1145/355616.364017.
↑  Sassenrath, Carl (1986). Amiga ROM Kernel Reference Manual. Exec.
↑  Jim Magee. WWDC 2000 Session 106 - Mac OS X: Kernel.  14 phút.
↑  “Porting UNIX/Linux Applications to Mac OS X”. Apple. Truy cập ngày 26 tháng 4 năm 2011.
1 2  Liedtke, Jochen (tháng 9 năm 1996). “Towards Real Microkernels”. Communications of the ACM. 39 (9): 70–77. doi:10.1145/234215.234473.
↑  Heiser, Gernot; Uhlig, Volkmar; LeVasseur, Joshua (tháng 1 năm 2006). “Are Virtual-Machine Monitors Microkernels Done Right?”. ACM SIGOPS Operating Systems Review. ACM. 40 (1): 95–99. doi:10.1145/1113361.1113363. Bản gốc (PDF) lưu trữ ngày 13 tháng 1 năm 2014. Truy cập ngày 11 tháng 10 năm 2020.
↑  Härtig, Hermann; Hohmuth, Michael; Liedtke, Jochen; Schönberg, Sebastian (tháng 10 năm 1997). “The performance of µ-kernel-based systems”. Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles: 66–77. doi:10.1145/268998.266660. ISBN 0-89791-916-5.
↑  Leslie, Ben; Chubb, Peter; FitzRoy-Dale, Nicholas; Götz, Stefan; Gray, Charles; Macpherson, Luke; Potts, Daniel; Shen, Yueting; Elphinstone, Kevin (tháng 9 năm 2005). “User-level device drivers: achieved performance”. Journal of Computer Science and Technology. 20 (5): 654–664. doi:10.1007/s11390-005-0654-4.
↑  Tanenbaum, Andrew S. “Tanenbaum-Torvalds debate, part II”.
↑  Biggs, Simon; Lee, Damon; Heiser, Gernot (2018). “The Jury Is In: Monolithic OS Design Is Flawed: Microkernel-based Designs Improve Security”. Proceedings of the 9th Asia-Pacific Workshop on Systems. Jeju Island, Republic of Korea: Association for Computing Machinery. tr. 1–7. doi:10.1145/3265723.3265733.
↑  Elkaduwe, Dhammika; Klein, Gerwin; Elphinstone, Kevin (2007). Verified Protection Model of the seL4 Microkernel. submitted for publication. Bản gốc lưu trữ ngày 29 tháng 11 năm 2011. Truy cập ngày 11 tháng 10 năm 2020.
↑  “TUD Home: Operating Systems: Research: Microkernel & Hypervisor”. Faculty of Computer Science. Technische Universität Dresden. ngày 12 tháng 8 năm 2010. Bản gốc lưu trữ ngày 26 tháng 9 năm 2020. Truy cập ngày 5 tháng 11 năm 2011.
↑  Klein, Gerwin; Andronick, June; Elphinstone, Kevin; Murray, Toby; Sewell, Thomas; Kolanski, Rafal; Heiser, Gernot (tháng 2 năm 2014). “Comprehensive Formal Verification of an OS Microkernel”. ACM Transactions on Computer Systems. 32 (1): 2:1–2:70. doi:10.1145/2560537.
↑  David L. Mills and Poul-Henning Kamp (ngày 28 tháng 11 năm 2000). “The Nanokernel” (PDF). Truy cập ngày 28 tháng 8 năm 2017.