Microkernels

Microkernel

A microkernel is a minimal amount of software that provides the mechanisms needed to implement an operating system. It is often smaller than monolithic kernels and runs device drivers, protocol stacks and file systems in user space. MINIX 3 has 12,000 lines of code as an example.

2 courses cover this concept

CS 262a Advanced Topics in Computer Systems

UC Berkeley

Fall 2021

A graduate survey of systems managing computation and information. Topics include volatile and persistent memory management, system support for networking, security infrastructure, extensible systems, APIs, and large software system performance analysis. Students are expected to engage in quality systems research, culminating in a publishable group project.

No concepts data

+ 31 more concepts

CS167 Operating Systems

Brown University

Spring 2023

CS167 offers comprehensive insights into the principles and intricacies of operating systems. Topics range from multithreaded programming to file system designs. Students will not only grasp theoretical knowledge but also get hands-on experience, particularly through the optional lab CS169, where they can develop an operating system called Weenix.

No concepts data

+ 17 more concepts