L4 microkernel family (English Wikipedia)

Liedtke, Jochen (December 1993). "Improving IPC by kernel design". 14th ACM Symposium on Operating System Principles. Asheville, NC, USA. pp. 175–188.
Derrin, Philip; Elphinstone, Kevin; Klein, Gerwin; Cock, David; Chakravarty, Manuel M. T. (September 2006). "Running the manual: an approach to high-assurance microkernel development". ACM SIGPLAN Haskell Workshop. Portland, Oregon. pp. 60–71.

dl.acm.org

Gefflaut, Alain; Jaeger, Trent; Park, Yoonho; Liedtke, Jochen; Elphinstone, Kevin; Uhlig, Volkmar; Tidswell, Jonathon; Deller, Luke; Reuther, Lars (2000). "The Sawmill multiserver approach". ACM SIGOPS European Workshop. Kolding, Denmark. pp. 109–114.
Sewell, Thomas; Myreen, Magnus; Klein, Gerwin (June 2013). "Translation Validation for a Verified OS Kernel". ACM SIGPLAN Conference on Programming Language Design and Implementation. Seattle, WA, USA. doi:10.1145/2491956.2462183.

apple.com (Global: 67^th place; English: 64^th place)

"iOS Security, iOS 12.3" (PDF). Apple Inc. May 2019. Archived (PDF) from the original on 24 June 2020.

ares-os.org (Global: low place; English: low place)

"Helios". ares-os.org. Retrieved 20 February 2023.

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

dev.b-labs.com

"B Labs | Mobile Virtualization solutions, Android and Linux virtualization for the ARM architecture". Archived from the original on 2 February 2014. Retrieved 2 February 2014.

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

Mandt, Tarjei; Solnik, Mathew; Wang, David (31 July 2016). "Demystifying the Secure Enclave Processor" (PDF). BlackHat USA. Las Vegas, Nevada, USA. Archived (PDF) from the original on 21 October 2016.

csiro.au (Global: 4,114^th place; English: 3,147^th place)

ts.data61.csiro.au

Elkaduwe, Dhammika; Derrin, Philip; Elphinstone, Kevin (April 2008). Kernel design for isolation and assurance of physical memory. 1st Workshop on Isolation and Integration in Embedded Systems. Glasgow, UK. doi:10.1145/1435458. Archived from the original on 22 February 2020. Retrieved 22 February 2020.

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

Leslie, Ben; Chubb, Peter; FitzRoy-Dale, Nicholas; Götz, Stefan; Gray, Charles; Macpherson, Luke; Potts, Daniel; Shen, Yueting; Elphinstone, Kevin; Heiser, Gernot (September 2005). "User-level device drivers: achieved performance". Journal of Computer Science and Technology. 20 (5): 654–664. CiteSeerX 10.1.1.59.6766. doi:10.1007/s11390-005-0654-4. S2CID 1121537.
Ruocco, Sergio (October 2008). "A Real-Time Programmer's Tour of General-Purpose L4 Microkernels". EURASIP Journal on Embedded Systems. 2008: 1–14. doi:10.1155/2008/234710 (inactive 12 July 2025). S2CID 7430332.{{cite journal}}: CS1 maint: DOI inactive as of July 2025 (link)
Elkaduwe, Dhammika; Derrin, Philip; Elphinstone, Kevin (April 2008). Kernel design for isolation and assurance of physical memory. 1st Workshop on Isolation and Integration in Embedded Systems. Glasgow, UK. doi:10.1145/1435458. Archived from the original on 22 February 2020. Retrieved 22 February 2020.
Klein, Gerwin; Andronick, June; Elphinstone, Kevin; Murray, Toby; Sewell, Thomas; Kolanski, Rafal; Heiser, Gernot (February 2014). "Comprehensive Formal Verification of an OS Microkernel". ACM Transactions on Computer Systems. 32 (1): 2:1–2:70. CiteSeerX 10.1.1.431.9140. doi:10.1145/2560537. S2CID 4474342.
Sewell, Thomas; Myreen, Magnus; Klein, Gerwin (June 2013). "Translation Validation for a Verified OS Kernel". ACM SIGPLAN Conference on Programming Language Design and Implementation. Seattle, WA, USA. doi:10.1145/2491956.2462183.
Klein, Gerwin; Andronick, June; Elphinstone, Kevin; Murray, Toby; Sewell, Thomas; Kolanski, Rafal; Heiser, Gernot (2014). "Comprehensive formal verification of an OS microkernel" (PDF). ACM Transactions on Computer Systems. 32: 64. CiteSeerX 10.1.1.431.9140. doi:10.1145/2560537. S2CID 4474342. Archived (PDF) from the original on 3 August 2014.
Hallgren, T.; Jones, M.P.; Leslie, R.; Tolmach, A. (2005). "A principled approach to operating system construction in Haskell" (PDF). ACM SIGPLAN Notices. 40 (9): 116–128. doi:10.1145/1090189.1086380. ISSN 0362-1340. Archived (PDF) from the original on 15 June 2010. Retrieved 24 June 2010.

fortune.com (Global: 433^rd place; English: 284^th place)

Elmer-DeWitt, Philip (28 October 2014). "Forecast: Apple will ship 310 million iOS devices in 2015". Fortune. Archived from the original on 27 September 2015. Retrieved 25 October 2015.

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

"Hypervisor Products: General Dynamics Mission Systems". General Dynamics Mission Systems. Archived from the original on 15 November 2017. Retrieved 26 April 2018.

github.com (Global: 383^rd place; English: 320^th place)

https://github.com/kernkonzept/fiasco?tab=readme-ov-file#license
"jserv/codezero: Codezero Microkernel". GitHub. Archived from the original on 15 August 2015. Retrieved 20 October 2020.
"F9 Microkernel". GitHub. Retrieved 20 October 2020.

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

"NOVA Microhypervisor website". Retrieved 9 January 2021.

kit.edu (Global: 6,505^th place; English: 9,776^th place)

os.itec.kit.edu

Liedtke, Jochen (December 1995). "On μ-Kernel Construction". Proceedings 15th ACM Symposium on Operating Systems Principles (SOSP). pp. 237–250. Archived from the original on 25 October 2015.

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

"Code Zero : Embedded Hypervisor and OS". Archived from the original on 11 January 2016. Retrieved 25 January 2016.

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

l4ka.org: L4Ka::Pistachio microkernel Quote: "...The variety of supported architctures makes L4Ka::Pistachio an ideal research and development platform for a wide variety of systems..."

linuxfoundation.org (Global: low place; English: 8,197^th place)

"Security Gets Support of Linux Foundation" (Press release). Linux Foundation. 7 April 2020. Archived from the original on 15 March 2016.

nicta.com.au (Global: low place; English: low place)

nicta.com.au

"NICTA L4 Microkernel to be Utilised in Select QUALCOMM Chipset Solutions" (Press release). NICTA. 24 November 2005. Archived from the original on 25 August 2006.
"Secure operating system developed by NICTA goes open source" (Press release). NICTA. 29 July 2014. Archived from the original on 15 March 2016.
Klein, Gerwin; Andronick, June; Elphinstone, Kevin; Murray, Toby; Sewell, Thomas; Kolanski, Rafal; Heiser, Gernot (2014). "Comprehensive formal verification of an OS microkernel" (PDF). ACM Transactions on Computer Systems. 32: 64. CiteSeerX 10.1.1.431.9140. doi:10.1145/2560537. S2CID 4474342. Archived (PDF) from the original on 3 August 2014.

ssrg.nicta.com.au

van Schaik, Carl; Heiser, Gernot (January 2007). "High-performance microkernels and virtualisation on ARM and segmented architectures". 1st International Workshop on Microkernels for Embedded Systems. Sydney, Australia: NICTA. pp. 11–21. Archived from the original on 1 March 2015. Retrieved 25 October 2015.

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

"Open Kernel Labs Software Surpasses Milestone of 1.5 Billion Mobile Device Shipments" (Press release). Open Kernel Labs. 19 January 2012. Archived from the original on 11 February 2012.
"Open Kernel Labs Automotive Virtualization Selected by Bosch for Infotainment Systems" (Press release). Open Kernel Labs. 27 March 2012. Archived from the original on 2 July 2012.

pdx.edu (Global: 8,132^nd place; English: 5,327^th place)

web.cecs.pdx.edu

Hallgren, T.; Jones, M.P.; Leslie, R.; Tolmach, A. (2005). "A principled approach to operating system construction in Haskell" (PDF). ACM SIGPLAN Notices. 40 (9): 116–128. doi:10.1145/1090189.1086380. ISSN 0362-1340. Archived (PDF) from the original on 15 June 2010. Retrieved 24 June 2010.

psu.edu (Global: 207^th place; English: 136^th place)

citeseerx.ist.psu.edu

Leslie, Ben; Chubb, Peter; FitzRoy-Dale, Nicholas; Götz, Stefan; Gray, Charles; Macpherson, Luke; Potts, Daniel; Shen, Yueting; Elphinstone, Kevin; Heiser, Gernot (September 2005). "User-level device drivers: achieved performance". Journal of Computer Science and Technology. 20 (5): 654–664. CiteSeerX 10.1.1.59.6766. doi:10.1007/s11390-005-0654-4. S2CID 1121537.
Klein, Gerwin; Andronick, June; Elphinstone, Kevin; Murray, Toby; Sewell, Thomas; Kolanski, Rafal; Heiser, Gernot (February 2014). "Comprehensive Formal Verification of an OS Microkernel". ACM Transactions on Computer Systems. 32 (1): 2:1–2:70. CiteSeerX 10.1.1.431.9140. doi:10.1145/2560537. S2CID 4474342.
Klein, Gerwin; Andronick, June; Elphinstone, Kevin; Murray, Toby; Sewell, Thomas; Kolanski, Rafal; Heiser, Gernot (2014). "Comprehensive formal verification of an OS microkernel" (PDF). ACM Transactions on Computer Systems. 32: 64. CiteSeerX 10.1.1.431.9140. doi:10.1145/2560537. S2CID 4474342. Archived (PDF) from the original on 3 August 2014.

redox-os.org (Global: low place; English: low place)

"RedoxOS". RedoxOS.

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

"DARPA selects Rockwell Collins to apply cybersecurity technology to new platforms" (Press release). Rockwell Collins. 24 April 2017. Archived from the original on 11 May 2017.

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

"DARPA Agency Sponsor Dr. John Launchbury". SBIRSource. 2017. Archived from the original on 29 September 2017. Retrieved 16 May 2017.

sel4.systems (Global: low place; English: low place)

"News about seL4 and the seL4 Foundation". sel4.systems. Retrieved 20 September 2024.

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

api.semanticscholar.org

Leslie, Ben; Chubb, Peter; FitzRoy-Dale, Nicholas; Götz, Stefan; Gray, Charles; Macpherson, Luke; Potts, Daniel; Shen, Yueting; Elphinstone, Kevin; Heiser, Gernot (September 2005). "User-level device drivers: achieved performance". Journal of Computer Science and Technology. 20 (5): 654–664. CiteSeerX 10.1.1.59.6766. doi:10.1007/s11390-005-0654-4. S2CID 1121537.
Ruocco, Sergio (October 2008). "A Real-Time Programmer's Tour of General-Purpose L4 Microkernels". EURASIP Journal on Embedded Systems. 2008: 1–14. doi:10.1155/2008/234710 (inactive 12 July 2025). S2CID 7430332.{{cite journal}}: CS1 maint: DOI inactive as of July 2025 (link)
Klein, Gerwin; Andronick, June; Elphinstone, Kevin; Murray, Toby; Sewell, Thomas; Kolanski, Rafal; Heiser, Gernot (February 2014). "Comprehensive Formal Verification of an OS Microkernel". ACM Transactions on Computer Systems. 32 (1): 2:1–2:70. CiteSeerX 10.1.1.431.9140. doi:10.1145/2560537. S2CID 4474342.
Klein, Gerwin; Andronick, June; Elphinstone, Kevin; Murray, Toby; Sewell, Thomas; Kolanski, Rafal; Heiser, Gernot (2014). "Comprehensive formal verification of an OS microkernel" (PDF). ACM Transactions on Computer Systems. 32: 64. CiteSeerX 10.1.1.431.9140. doi:10.1145/2560537. S2CID 4474342. Archived (PDF) from the original on 3 August 2014.

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

Klein, Gerwin; Elphinstone, Kevin; Heiser, Gernot; Andronick, June; Cock, David; Derrin, Philip; Elkaduwe, Dhammika; Engelhardt, Kai; Kolanski, Rafal; Norrish, Michael; Sewell, Thomas; Tuch, Harvey; Winwood, Simon (October 2009). "seL4: Formal verification of an OS kernel" (PDF). 22nd ACM Symposium on Operating System Principles. Big Sky, MT, USA. Archived (PDF) from the original on 28 July 2011.

sr.ht (Global: low place; English: low place)

git.sr.ht

"~sircmpwn/helios – An experimental microkernel – sourcehut git". git.sr.ht. Retrieved 20 February 2023.

tu-dresden.de (Global: low place; English: low place)

os.inf.tu-dresden.de

"DROPS – Overview". Dresden University of Technology. Archived from the original on 7 August 2011. Retrieved 10 August 2011.
"Announce: Introducing Codezero". Dresden University of Technology.

usenix.org (Global: 5,990^th place; English: 3,752^nd place)

Gray, Charles; Chapman, Matthew; Chubb, Peter; Mosberger-Tang, David; Heiser, Gernot (April 2005). "Itanium: A system implementor's tale". USENIX Annual Technical Conference. Annaheim, CA, USA. pp. 264–278. Archived from the original on 17 February 2007.

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

Liedtke, Jochen (December 1995). "On μ-Kernel Construction". Proceedings 15th ACM Symposium on Operating Systems Principles (SOSP). pp. 237–250. Archived from the original on 25 October 2015.
"Hypervisor Products: General Dynamics Mission Systems". General Dynamics Mission Systems. Archived from the original on 15 November 2017. Retrieved 26 April 2018.
"Open Kernel Labs Software Surpasses Milestone of 1.5 Billion Mobile Device Shipments" (Press release). Open Kernel Labs. 19 January 2012. Archived from the original on 11 February 2012.
"DROPS – Overview". Dresden University of Technology. Archived from the original on 7 August 2011. Retrieved 10 August 2011.
Gray, Charles; Chapman, Matthew; Chubb, Peter; Mosberger-Tang, David; Heiser, Gernot (April 2005). "Itanium: A system implementor's tale". USENIX Annual Technical Conference. Annaheim, CA, USA. pp. 264–278. Archived from the original on 17 February 2007.
van Schaik, Carl; Heiser, Gernot (January 2007). "High-performance microkernels and virtualisation on ARM and segmented architectures". 1st International Workshop on Microkernels for Embedded Systems. Sydney, Australia: NICTA. pp. 11–21. Archived from the original on 1 March 2015. Retrieved 25 October 2015.
"NICTA L4 Microkernel to be Utilised in Select QUALCOMM Chipset Solutions" (Press release). NICTA. 24 November 2005. Archived from the original on 25 August 2006.
"Open Kernel Labs Automotive Virtualization Selected by Bosch for Infotainment Systems" (Press release). Open Kernel Labs. 27 March 2012. Archived from the original on 2 July 2012.
"iOS Security, iOS 12.3" (PDF). Apple Inc. May 2019. Archived (PDF) from the original on 24 June 2020.
Mandt, Tarjei; Solnik, Mathew; Wang, David (31 July 2016). "Demystifying the Secure Enclave Processor" (PDF). BlackHat USA. Las Vegas, Nevada, USA. Archived (PDF) from the original on 21 October 2016.
Elmer-DeWitt, Philip (28 October 2014). "Forecast: Apple will ship 310 million iOS devices in 2015". Fortune. Archived from the original on 27 September 2015. Retrieved 25 October 2015.
Klein, Gerwin; Elphinstone, Kevin; Heiser, Gernot; Andronick, June; Cock, David; Derrin, Philip; Elkaduwe, Dhammika; Engelhardt, Kai; Kolanski, Rafal; Norrish, Michael; Sewell, Thomas; Tuch, Harvey; Winwood, Simon (October 2009). "seL4: Formal verification of an OS kernel" (PDF). 22nd ACM Symposium on Operating System Principles. Big Sky, MT, USA. Archived (PDF) from the original on 28 July 2011.
Elkaduwe, Dhammika; Derrin, Philip; Elphinstone, Kevin (April 2008). Kernel design for isolation and assurance of physical memory. 1st Workshop on Isolation and Integration in Embedded Systems. Glasgow, UK. doi:10.1145/1435458. Archived from the original on 22 February 2020. Retrieved 22 February 2020.
"Secure operating system developed by NICTA goes open source" (Press release). NICTA. 29 July 2014. Archived from the original on 15 March 2016.
"Security Gets Support of Linux Foundation" (Press release). Linux Foundation. 7 April 2020. Archived from the original on 15 March 2016.
Klein, Gerwin; Andronick, June; Elphinstone, Kevin; Murray, Toby; Sewell, Thomas; Kolanski, Rafal; Heiser, Gernot (2014). "Comprehensive formal verification of an OS microkernel" (PDF). ACM Transactions on Computer Systems. 32: 64. CiteSeerX 10.1.1.431.9140. doi:10.1145/2560537. S2CID 4474342. Archived (PDF) from the original on 3 August 2014.
"DARPA selects Rockwell Collins to apply cybersecurity technology to new platforms" (Press release). Rockwell Collins. 24 April 2017. Archived from the original on 11 May 2017.
"DARPA Agency Sponsor Dr. John Launchbury". SBIRSource. 2017. Archived from the original on 29 September 2017. Retrieved 16 May 2017.
Hallgren, T.; Jones, M.P.; Leslie, R.; Tolmach, A. (2005). "A principled approach to operating system construction in Haskell" (PDF). ACM SIGPLAN Notices. 40 (9): 116–128. doi:10.1145/1090189.1086380. ISSN 0362-1340. Archived (PDF) from the original on 15 June 2010. Retrieved 24 June 2010.
"jserv/codezero: Codezero Microkernel". GitHub. Archived from the original on 15 August 2015. Retrieved 20 October 2020.
"Code Zero : Embedded Hypervisor and OS". Archived from the original on 11 January 2016. Retrieved 25 January 2016.
"B Labs | Mobile Virtualization solutions, Android and Linux virtualization for the ARM architecture". Archived from the original on 2 February 2014. Retrieved 2 February 2014.

worldcat.org (Global: 5^th place; English: 5^th place)

search.worldcat.org

Hallgren, T.; Jones, M.P.; Leslie, R.; Tolmach, A. (2005). "A principled approach to operating system construction in Haskell" (PDF). ACM SIGPLAN Notices. 40 (9): 116–128. doi:10.1145/1090189.1086380. ISSN 0362-1340. Archived (PDF) from the original on 15 June 2010. Retrieved 24 June 2010.

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

"WrmOS". Retrieved 20 October 2020.
"w4linux is paravirtualized Linux kernel working on WrmOS". Retrieved 20 October 2020.

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

Heiser, Gernot (16 January 2015). seL4 Is Free: What Does This Mean for You?. Auckland, New Zealand: Linux.conf.au.

L4 microkernel family (English Wikipedia)

acm.org (Global: 1,185th place; English: 840th place)

portal.acm.org

dl.acm.org

apple.com (Global: 67th place; English: 64th place)

ares-os.org (Global: low place; English: low place)

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

dev.b-labs.com

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

csiro.au (Global: 4,114th place; English: 3,147th place)

ts.data61.csiro.au

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

fortune.com (Global: 433rd place; English: 284th place)

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

github.com (Global: 383rd place; English: 320th place)

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

kit.edu (Global: 6,505th place; English: 9,776th place)

os.itec.kit.edu

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

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

linuxfoundation.org (Global: low place; English: 8,197th place)

nicta.com.au (Global: low place; English: low place)

nicta.com.au

ssrg.nicta.com.au

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

pdx.edu (Global: 8,132nd place; English: 5,327th place)

web.cecs.pdx.edu

psu.edu (Global: 207th place; English: 136th place)

citeseerx.ist.psu.edu

redox-os.org (Global: low place; English: low place)

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

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

sel4.systems (Global: low place; English: low place)

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

api.semanticscholar.org

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

sr.ht (Global: low place; English: low place)

git.sr.ht

tu-dresden.de (Global: low place; English: low place)

os.inf.tu-dresden.de

usenix.org (Global: 5,990th place; English: 3,752nd place)

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

worldcat.org (Global: 5th place; English: 5th place)

search.worldcat.org

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

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

acm.org (Global: 1,185^th place; English: 840^th place)

apple.com (Global: 67^th place; English: 64^th place)

csiro.au (Global: 4,114^th place; English: 3,147^th place)

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

fortune.com (Global: 433^rd place; English: 284^th place)

github.com (Global: 383^rd place; English: 320^th place)

kit.edu (Global: 6,505^th place; English: 9,776^th place)

linuxfoundation.org (Global: low place; English: 8,197^th place)

pdx.edu (Global: 8,132^nd place; English: 5,327^th place)

psu.edu (Global: 207^th place; English: 136^th place)

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

usenix.org (Global: 5,990^th place; English: 3,752^nd place)

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

worldcat.org (Global: 5^th place; English: 5^th place)

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