Corpus ID: 45813035

Communication in Microkernel-Based Operating Systems

@inproceedings{Aigner2011CommunicationIM,
  title={Communication in Microkernel-Based Operating Systems},
  author={Ronald Aigner},
  year={2011}
}
Communication in microkernel-based systems is much more frequent than system calls known from monolithic kernels. This can be attributed to the placement of system services into their own protection domains. Communication has to be fast to avoid unnecessary overhead. Also, communication channels in microkernel-based systems are used for more than just remote procedure calls. In distributed systems, which also have a componentized design, it is state of the art to use tools to generate stubs for… Expand
1 Citations
Improving system security through TCB reduction
TLDR
This work shows how the security-critical part of the OS, the so called TCB (Trusted Computing Base), can be reduced from millions to less than hundred thousand lines of code to achieve these security goals. Expand