Obsidian/300s School/ME 2150 - High Assurance Cyber-Physical Systems/2025-01-14 Microkernels.md

#Lecture

• Homework 1 📅 2025-01-21 What are microkernels? Microkernels are kernels but absolutely minimal. Delegate device drivers, file systems, and networking to user-space processes. Key advantages:

1. Modularity
2. Fault isolation
3. Reliability - smaller codebase
4. Security and Maintainability