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

#Lecture

• ME 2150 - High-Assurance Cyber-Physical Systems 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 The big con: Microkernels have way, way more interprocess communication (IPC). There are more delays because of all the extra communication.

CIA Triad:

1. Confidentiality
2. Integrity
3. Availability
4. Bonus! Safety

• HACMS Project Paper 📅 2025-01-16