L4 microkernel family

Known as: SeL4, L4sec, L4 (microkernel) 
L4 is a family of second-generation microkernels, generally used to implement Unix-like operating systems, but also used in a variety of other… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
The L4 microkernel has undergone 20 years of use and evolution. It has an active user and developer community, and there are… (More)
  • figure 1
  • table I
  • table II
  • table III
  • figure 2
Is this relevant?
Highly Cited
2014
Highly Cited
2014
We present an in-depth coverage of the comprehensive machine-checked formal verification of seL4, a general-purpose operating… (More)
Is this relevant?
Highly Cited
2013
Highly Cited
2013
The L4 microkernel has undergone 20 years of use and evolution. It has an active user and developer community, and there are… (More)
Is this relevant?
Highly Cited
2010
Highly Cited
2010
We argue that recent hypervisor-vs-microkernel discussions completely miss the point. Fundamentally, the two classes of systems… (More)
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Complete formal verification is the only known way to guarantee that a system is free of programming errors. We present our… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2009
2009
Virtualization of multi-core hardware is becoming important in enterprise computing using hypervisors such as VMware or Xen. For… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2008
2008
L4-embedded is a microkernel successfully deployed in mobile devices with soft real-time requirements. It now faces the… (More)
  • table 1
  • table 2
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2007
Highly Cited
2007
As computer systems become increasingly mission-critical, used in life-critical situations, and relied upon to protect… (More)
  • figure 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
This paper estimates the importance of network effects in the market for Yellow Pages. I estimate three simultaneous equations… (More)
  • table 1
  • figure 1
  • table 2
  • table 3
  • figure 3
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Multiserver systems, operating systems composed from a set of hardware-protected servers, initially generated significant… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?