L4 is a family of microkernels created by Jochen Liedtke to improve the performance of earlier microkernel-based operating systems. It has been developed to be cross-platform and to improve security, isolation, and robustness, and is widely deployed in billions of mobile devices. It now applies to the whole microkernel family including the L4 kernel interface and its different versions.
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