Kernel (operating system) (English Wikipedia)

Hoch, Charles; J. C. Browne (July 1980). "An implementation of capabilities on the PDP-11/45". ACM SIGOPS Operating Systems Review. 14 (3): 22–32. doi:10.1145/850697.850701. S2CID 17487360.
Lepreau, Jay; Ford, Bryan; Hibler, Mike (1996). "The persistent relevance of the local operating system to global applications". Proceedings of the 7th workshop on ACM SIGOPS European workshop Systems support for worldwide applications - EW 7. pp. 133–140. doi:10.1145/504450.504477. ISBN 978-1-4503-7339-5. S2CID 10027108.
Jerry H. Saltzer; Mike D. Schroeder (September 1975). "The protection of information in computer systems". Proceedings of the IEEE. 63 (9): 1278–1308. Bibcode:1975IEEEP..63.1278S. doi:10.1109/PROC.1975.9939. S2CID 269166. Archived from the original on 2021-03-08. Retrieved 2007-07-15.
Jonathan S. Shapiro; Jonathan M. Smith; David J. Farber (1999). "EROS". ACM SIGOPS Operating Systems Review. 33 (5): 170–185. doi:10.1145/319344.319163.
Harrison, M. C.; Schwartz, J. T. (1967). "SHARER, a time sharing system for the CDC 6600". Communications of the ACM. 10 (10): 659–665. doi:10.1145/363717.363778. S2CID 14550794.
Huxtable, D. H. R.; Warwick, M. T. (1967). "Dynamic Supervisors - their design and construction". Proceedings of the ACM symposium on Operating System Principles - SOSP '67. pp. 11.1 – 11.17. doi:10.1145/800001.811675. ISBN 978-1-4503-7370-8. S2CID 17709902.
Nehmer, Jürgen (1991). "The Immortality of Operating Systems, or: Is Research in Operating Systems still Justified?". Lecture Notes In Computer Science; Vol. 563. Proceedings of the International Workshop on Operating Systems of the 90s and Beyond. pp. 77–83. doi:10.1007/BFb0024528. ISBN 3-540-54987-0. The past 25 years have shown that research on operating system architecture had a minor effect on existing main stream [sic] systems.

dwheeler.com (Global: low place; English: low place)

Wheeler, David A. (October 12, 2004). "Linux Kernel 2.6: It's Worth More!".

ghostarchive.org (Global: 64^th place; English: 28^th place)

Magee, Jim. WWDC 2000 Session 106 – Mac OS X: Kernel. 14 minutes in. Archived from the original on 2021-10-30.

groups.google.com (Global: 2,153^rd place; English: 1,445^th place)

Recordings of the debate between Torvalds and Tanenbaum can be found at dina.dk Archived 2012-10-03 at the Wayback Machine, groups.google.com Archived 2013-05-26 at the Wayback Machine, oreilly.com Archived 2014-09-21 at the Wayback Machine and Andrew Tanenbaum's website Archived 2015-08-05 at the Wayback Machine

informit.com (Global: low place; English: low place)

Eranian, Stephane; Mosberger, David (2002). "Virtual Memory in the IA-64 Linux Kernel". IA-64 Linux Kernel: Design and Implementation. Prentice Hall PTR. ISBN 978-0-13-061014-0.

jya.com (Global: low place; English: low place)

Loscocco, P. A.; Smalley, S. D.; Muckelbauer, P. A.; Taylor, R. C.; Turner, S. J.; Farrell, J. F. (October 1998). "The Inevitability of Failure: The Flawed Assumption of Security in Modern Computing Environments". Proceedings of the 21st National Information Systems Security Conference. pp. 303–314. Archived from the original on 2007-06-21.

kernelthread.com (Global: low place; English: low place)

Singh, Amit (December 2003). "XNU: The Kernel". Archived from the original on 2011-08-12.

l4ka.org (Global: low place; English: low place)

Zoller (inaktiv), Heinz (7 December 2013). "L4Ka - L4Ka Project". www.l4ka.org. Archived from the original on 19 April 2001. Retrieved 24 March 2019.

linfo.org (Global: low place; English: low place)

"Kernel". Linfo. Bellevue Linux Users Group. Archived from the original on 8 December 2006. Retrieved 15 September 2016.

mars-research.github.io (Global: low place; English: low place)

"Fine-grained kernel isolation". mars-research.github.io. Retrieved 15 September 2022.

mega-tokyo.com (Global: low place; English: low place)

This community mostly gathers at Bona Fide OS Development Archived 2022-01-17 at the Wayback Machine, The Mega-Tokyo Message Board Archived 2022-01-25 at the Wayback Machine and other operating system enthusiast web sites.

mit.edu (Global: 476^th place; English: 340^th place)

web.mit.edu

Jerry H. Saltzer; Mike D. Schroeder (September 1975). "The protection of information in computer systems". Proceedings of the IEEE. 63 (9): 1278–1308. Bibcode:1975IEEEP..63.1278S. doi:10.1109/PROC.1975.9939. S2CID 269166. Archived from the original on 2021-03-08. Retrieved 2007-07-15.

multicians.org (Global: low place; English: low place)

Corbató, F. J.; Vissotsky, V. A. Introduction and Overview of the Multics System. 1965 Fall Joint Computer Conference. Archived from the original on 2011-07-09.

nist.gov (Global: 708^th place; English: 742^nd place)

csrc.nist.gov

Anderson, J. (October 1972). Computer Security Technology Planning Study (PDF) (Report). Vol. II. Air Force Electronic Systems Division. ESD-TR-73-51, Vol. II. Archived (PDF) from the original on 2011-07-21.

oreilly.com (Global: 6,944^th place; English: 5,088^th place)

"Open Sources: Voices from the Open Source Revolution". 1-56592-582-3. 29 March 1999. Archived from the original on 1 February 2020. Retrieved 24 March 2019.
Recordings of the debate between Torvalds and Tanenbaum can be found at dina.dk Archived 2012-10-03 at the Wayback Machine, groups.google.com Archived 2013-05-26 at the Wayback Machine, oreilly.com Archived 2014-09-21 at the Wayback Machine and Andrew Tanenbaum's website Archived 2015-08-05 at the Wayback Machine
Matthew Russell. "What Is Darwin (and How It Powers Mac OS X)". O'Reilly Media. Archived from the original on 2007-12-08. Retrieved 2008-12-09. The tightly coupled nature of a monolithic kernel allows it to make very efficient use of the underlying hardware [...] Microkernels, on the other hand, run a lot more of the core processes in userland. [...] Unfortunately, these benefits come at the cost of the microkernel having to pass a lot of information in and out of the kernel space through a process known as a context switch. Context switches introduce considerable overhead and therefore result in a performance penalty.

osdever.net (Global: low place; English: low place)

This community mostly gathers at Bona Fide OS Development Archived 2022-01-17 at the Wayback Machine, The Mega-Tokyo Message Board Archived 2022-01-25 at the Wayback Machine and other operating system enthusiast web sites.

psu.edu (Global: 299^th place; English: 159^th place)

cse.psu.edu

Huang, Yongzhe; Narayanan, Vikram; Detweiler, David; Huang, Kaiming; Tan, Gang; Jaeger, Trent; Burtsev, Anton (2022). "KSplit: Automating Device Driver Isolation" (PDF). Retrieved 20 December 2023.

qnx.com (Global: low place; English: low place)

blackberry.qnx.com

"QNX Operating Systems". blackberry.qnx.com. Archived from the original on 2019-03-24. Retrieved 2019-03-24.

semanticscholar.org (Global: 15^th place; English: 8^th place)

api.semanticscholar.org

Hoch, Charles; J. C. Browne (July 1980). "An implementation of capabilities on the PDP-11/45". ACM SIGOPS Operating Systems Review. 14 (3): 22–32. doi:10.1145/850697.850701. S2CID 17487360.
Lepreau, Jay; Ford, Bryan; Hibler, Mike (1996). "The persistent relevance of the local operating system to global applications". Proceedings of the 7th workshop on ACM SIGOPS European workshop Systems support for worldwide applications - EW 7. pp. 133–140. doi:10.1145/504450.504477. ISBN 978-1-4503-7339-5. S2CID 10027108.
Jerry H. Saltzer; Mike D. Schroeder (September 1975). "The protection of information in computer systems". Proceedings of the IEEE. 63 (9): 1278–1308. Bibcode:1975IEEEP..63.1278S. doi:10.1109/PROC.1975.9939. S2CID 269166. Archived from the original on 2021-03-08. Retrieved 2007-07-15.
Harrison, M. C.; Schwartz, J. T. (1967). "SHARER, a time sharing system for the CDC 6600". Communications of the ACM. 10 (10): 659–665. doi:10.1145/363717.363778. S2CID 14550794.
Huxtable, D. H. R.; Warwick, M. T. (1967). "Dynamic Supervisors - their design and construction". Proceedings of the ACM symposium on Operating System Principles - SOSP '67. pp. 11.1 – 11.17. doi:10.1145/800001.811675. ISBN 978-1-4503-7370-8. S2CID 17709902.

sigops.org (Global: low place; English: low place)

Baumann, Andrew; Barham, Paul; Dagand, Pierre-Evariste; Harris, Tim; Isaacs, Rebecca; Peter, Simon; Roscoe, Timothy; Schüpbach, Adrian; Singhania, Akhilesh (2009). The Multikernel: a new OS architecture for scalable multicore systems (PDF). 22nd Symposium on Operating Systems Principles.

springer.com (Global: 182^nd place; English: 172^nd place)

link.springer.com

Nehmer, Jürgen (1991). "The Immortality of Operating Systems, or: Is Research in Operating Systems still Justified?". Lecture Notes In Computer Science; Vol. 563. Proceedings of the International Workshop on Operating Systems of the 90s and Beyond. pp. 77–83. doi:10.1007/BFb0024528. ISBN 3-540-54987-0. The past 25 years have shown that research on operating system architecture had a minor effect on existing main stream [sic] systems.

techxplore.com (Global: low place; English: low place)

Fetzer, Mary. "Automatic device driver isolation protects against bugs in operating systems". Pennsylvania State University via techxplore.com. Retrieved 15 September 2022.

tu-dresden.de (Global: 9,165^th place; English: low place)

os.inf.tu-dresden.de

"The L4 microkernel family - Overview". os.inf.tu-dresden.de. Archived from the original on 2006-08-21. Retrieved 2006-08-11.
"The Fiasco microkernel - Overview". os.inf.tu-dresden.de. Archived from the original on 2006-06-16. Retrieved 2006-07-10.

tue.nl (Global: 9,533^rd place; English: 6,917^th place)

pure.tue.nl

Dijkstra, E. W. (September 1965). "Co-operating sequential processes" (PDF). In F. Genuys (ed.). Programming languages: NATO Advanced Study Institute: lectures given at a three weeks Summer School held in Villard-le-Lans, 1966. Academic Press Inc.. Math. Dep., Technological U., Eindhoven. pp. 43–112.

unix.org (Global: low place; English: low place)

"The Single Unix Specification". The Open Group. Archived from the original on 2016-10-04. Retrieved 2016-09-29.

upenn.edu (Global: 784^th place; English: 498^th place)

cis.upenn.edu

"KeyKOS Nanokernel Architecture". Archived from the original on 2011-06-21.

vu.nl (Global: 8,771^st place; English: 6,166^th place)

cs.vu.nl

Recordings of the debate between Torvalds and Tanenbaum can be found at dina.dk Archived 2012-10-03 at the Wayback Machine, groups.google.com Archived 2013-05-26 at the Wayback Machine, oreilly.com Archived 2014-09-21 at the Wayback Machine and Andrew Tanenbaum's website Archived 2015-08-05 at the Wayback Machine

web.archive.org (Global: 1^st place; English: 1^st place)

"Kernel". Linfo. Bellevue Linux Users Group. Archived from the original on 8 December 2006. Retrieved 15 September 2016.
Schneider, Fred B.; Morrissett, Greg; Harper, Robert. "A Language-Based Approach to Security" (PDF). Archived (PDF) from the original on 2018-12-22.
Loscocco, P. A.; Smalley, S. D.; Muckelbauer, P. A.; Taylor, R. C.; Turner, S. J.; Farrell, J. F. (October 1998). "The Inevitability of Failure: The Flawed Assumption of Security in Modern Computing Environments". Proceedings of the 21st National Information Systems Security Conference. pp. 303–314. Archived from the original on 2007-06-21.
Anderson, J. (October 1972). Computer Security Technology Planning Study (PDF) (Report). Vol. II. Air Force Electronic Systems Division. ESD-TR-73-51, Vol. II. Archived (PDF) from the original on 2011-07-21.
Jerry H. Saltzer; Mike D. Schroeder (September 1975). "The protection of information in computer systems". Proceedings of the IEEE. 63 (9): 1278–1308. Bibcode:1975IEEEP..63.1278S. doi:10.1109/PROC.1975.9939. S2CID 269166. Archived from the original on 2021-03-08. Retrieved 2007-07-15.
"Open Sources: Voices from the Open Source Revolution". 1-56592-582-3. 29 March 1999. Archived from the original on 1 February 2020. Retrieved 24 March 2019.
Recordings of the debate between Torvalds and Tanenbaum can be found at dina.dk Archived 2012-10-03 at the Wayback Machine, groups.google.com Archived 2013-05-26 at the Wayback Machine, oreilly.com Archived 2014-09-21 at the Wayback Machine and Andrew Tanenbaum's website Archived 2015-08-05 at the Wayback Machine
Matthew Russell. "What Is Darwin (and How It Powers Mac OS X)". O'Reilly Media. Archived from the original on 2007-12-08. Retrieved 2008-12-09. The tightly coupled nature of a monolithic kernel allows it to make very efficient use of the underlying hardware [...] Microkernels, on the other hand, run a lot more of the core processes in userland. [...] Unfortunately, these benefits come at the cost of the microkernel having to pass a lot of information in and out of the kernel space through a process known as a context switch. Context switches introduce considerable overhead and therefore result in a performance penalty.
"Operating Systems/Kernel Models - Wikiversity". en.wikiversity.org. Archived from the original on 2014-12-18. Retrieved 2014-12-18.
"KeyKOS Nanokernel Architecture". Archived from the original on 2011-06-21.
"BSTJ version of C.ACM Unix paper". bell-labs.com. Archived from the original on 2005-12-30. Retrieved 2006-08-17.
Corbató, F. J.; Vissotsky, V. A. Introduction and Overview of the Multics System. 1965 Fall Joint Computer Conference. Archived from the original on 2011-07-09.
"The Single Unix Specification". The Open Group. Archived from the original on 2016-10-04. Retrieved 2016-09-29.
"Unix's Revenge". asymco.com. 29 September 2010. Archived from the original on 9 November 2010. Retrieved 2 October 2010.
This community mostly gathers at Bona Fide OS Development Archived 2022-01-17 at the Wayback Machine, The Mega-Tokyo Message Board Archived 2022-01-25 at the Wayback Machine and other operating system enthusiast web sites.
Singh, Amit (December 2003). "XNU: The Kernel". Archived from the original on 2011-08-12.
"Windows - Official Site for Microsoft Windows 10 Home & Pro OS, laptops, PCs, tablets & more". windows.com. Archived from the original on 2011-08-20. Retrieved 2019-03-24.
"The L4 microkernel family - Overview". os.inf.tu-dresden.de. Archived from the original on 2006-08-21. Retrieved 2006-08-11.
"The Fiasco microkernel - Overview". os.inf.tu-dresden.de. Archived from the original on 2006-06-16. Retrieved 2006-07-10.
Zoller (inaktiv), Heinz (7 December 2013). "L4Ka - L4Ka Project". www.l4ka.org. Archived from the original on 19 April 2001. Retrieved 24 March 2019.
"QNX Operating Systems". blackberry.qnx.com. Archived from the original on 2019-03-24. Retrieved 2019-03-24.

wikiversity.org (Global: low place; English: low place)

en.wikiversity.org

"Operating Systems/Kernel Models - Wikiversity". en.wikiversity.org. Archived from the original on 2014-12-18. Retrieved 2014-12-18.

windows.com (Global: 5,241^st place; English: 5,256^th place)

"Windows - Official Site for Microsoft Windows 10 Home & Pro OS, laptops, PCs, tablets & more". windows.com. Archived from the original on 2011-08-20. Retrieved 2019-03-24.

youtube.com (Global: 13^th place; English: 14^th place)

Magee, Jim. WWDC 2000 Session 106 – Mac OS X: Kernel. 14 minutes in. Archived from the original on 2021-10-30.

Kernel (operating system) (English Wikipedia)

adsabs.harvard.edu (Global: 14th place; English: 9th place)

ui.adsabs.harvard.edu

asymco.com (Global: low place; English: low place)

barrelfish.org (Global: low place; English: low place)

bell-labs.com (Global: low place; English: low place)

cm.bell-labs.com

bitsavers.org (Global: 3,844th place; English: 1,960th place)

cmu.edu (Global: 2,125th place; English: 1,347th place)

cs.cmu.edu

dina.dk (Global: low place; English: low place)

doi.org (Global: 2nd place; English: 2nd place)

dwheeler.com (Global: low place; English: low place)

ghostarchive.org (Global: 64th place; English: 28th place)

groups.google.com (Global: 2,153rd place; English: 1,445th place)

informit.com (Global: low place; English: low place)

jya.com (Global: low place; English: low place)

kernelthread.com (Global: low place; English: low place)

l4ka.org (Global: low place; English: low place)

linfo.org (Global: low place; English: low place)

mars-research.github.io (Global: low place; English: low place)

mega-tokyo.com (Global: low place; English: low place)

mit.edu (Global: 476th place; English: 340th place)

web.mit.edu

multicians.org (Global: low place; English: low place)

nist.gov (Global: 708th place; English: 742nd place)

csrc.nist.gov

oreilly.com (Global: 6,944th place; English: 5,088th place)

osdever.net (Global: low place; English: low place)

psu.edu (Global: 299th place; English: 159th place)

cse.psu.edu

qnx.com (Global: low place; English: low place)

blackberry.qnx.com

semanticscholar.org (Global: 15th place; English: 8th place)

api.semanticscholar.org

sigops.org (Global: low place; English: low place)

springer.com (Global: 182nd place; English: 172nd place)

link.springer.com

techxplore.com (Global: low place; English: low place)

tu-dresden.de (Global: 9,165th place; English: low place)

os.inf.tu-dresden.de

tue.nl (Global: 9,533rd place; English: 6,917th place)

pure.tue.nl

unix.org (Global: low place; English: low place)

upenn.edu (Global: 784th place; English: 498th place)

cis.upenn.edu

vu.nl (Global: 8,771st place; English: 6,166th place)

cs.vu.nl

web.archive.org (Global: 1st place; English: 1st place)

wikiversity.org (Global: low place; English: low place)

en.wikiversity.org

windows.com (Global: 5,241st place; English: 5,256th place)

youtube.com (Global: 13th place; English: 14th place)

adsabs.harvard.edu (Global: 14^th place; English: 9^th place)

bitsavers.org (Global: 3,844^th place; English: 1,960^th place)

cmu.edu (Global: 2,125^th place; English: 1,347^th place)

doi.org (Global: 2^nd place; English: 2^nd place)

ghostarchive.org (Global: 64^th place; English: 28^th place)

groups.google.com (Global: 2,153^rd place; English: 1,445^th place)

mit.edu (Global: 476^th place; English: 340^th place)

nist.gov (Global: 708^th place; English: 742^nd place)

oreilly.com (Global: 6,944^th place; English: 5,088^th place)

psu.edu (Global: 299^th place; English: 159^th place)

semanticscholar.org (Global: 15^th place; English: 8^th place)

springer.com (Global: 182^nd place; English: 172^nd place)

tu-dresden.de (Global: 9,165^th place; English: low place)

tue.nl (Global: 9,533^rd place; English: 6,917^th place)

upenn.edu (Global: 784^th place; English: 498^th place)

vu.nl (Global: 8,771^st place; English: 6,166^th place)

web.archive.org (Global: 1^st place; English: 1^st place)

windows.com (Global: 5,241^st place; English: 5,256^th place)

youtube.com (Global: 13^th place; English: 14^th place)