#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 