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.
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 conceptsBrown 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