Reading list on Operating System
Table of Contents
Linux Kernel
Linux kernel documentation:
Discussion on Micro/Monolithic kernel
Digest:
What is monolithic/micro kernels?
The whole operating system is a single executable file that runs in kernel-mode.
System design
Corey
Singularity
Three key ideas:
- software-isolated processes
- contract-based channels for communication
- manifest-based programs for verification of system properties.