Microkernel

Known as: Mkernel, Picokernel, Nanokernel 
In computer science, a microkernel (also known as μ-kernel) is the near-minimum amount of software that can provide the mechanisms needed to… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2010
2010
Traditional "monolithic" operating systems provide most services by its kernel. Examples of monolithic ones are Linux and Windows… (More)
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2009
2009
  • Wang Chengjun
  • Second International Workshop on Computer Science…
  • 2009
Problems remain the layered approach. Each layer possesses considerable functionality. Major changes in one layer can have… (More)
  • figure 2
  • figure 3
Is this relevant?
2008
2008
Primitives are basic means provided by a microkernel to implementors of operating system services. Intensively used within every… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Rob Pike has irreverently suggested that “systems software research is irrelevant”, implying that academic systems research has… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
ÐThe commercial offer concerning microkernel technology constitutes an attractive alternative for developing operating systems to… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
This paper describes a novel approach to providingmodular and extensible operating system functionality and encapsulated… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1996
Highly Cited
1996
T HE microkernel story is full of good ideas and blind alleys. The story began with enthusiasm about the promised dramatic… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Application domains such as multimedia, databases, and parallel computing, require operating system services with high… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
The Spring system is a distributed operating system that supports a distributed, object-oriented application framework. Each… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?