Skip to content
Hallway
0:00 / 0:00

#microkernel#ipc#l4

Microkernels

David Evans

5.2K subscribers • 2 videos on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.
  • Presented by David Evans, Professor at University of Virginia

Intermediate. Assumes working knowledge.

66K views12 years ago1 recommendation

Systems programmingOperating systems

David Evans explains the design of microkernels, the historical microkernel debate, and inter-process communication.

cs4414: Operating Systems (rust-class.org) Class 22: Microkernels and Beyond Embedded notes are available at: rust-class.org/class-22-microkernels-and-beyond.html Segment 2: Microkernels The Microkernel Debate IPC

Why it's here

1 person recommends this

What people say. Recommended as an educational lecture explaining microkernel architectures and the Tanenbaum-Torvalds debate.

u/bartturnerin r/programming • Recommends

On “Andrew Tanenbaum's famous 1992 comp.os.minix newsgroup posting in which he criticizes Linux's monolithic kernel as well as Linus Torvald's first response in a very long thread.”

Zircon, the new kernel from Google will be the next big attempt at a commercial microkernel. I do think with more cores can get the performance. I have my doubts though on a single core machine. But have an open mind. Btw, there is over a billion devices running a microkernel embedded. It is called L4. link to this video link to this video
47View on Reddit