Reading list on Operating System

• https://www.kernel.org/doc/html/latest/

• https://groups.google.com/g/comp.os.minix/c/wlhw16QWltI?pli=1

Digest:

What is monolithic/micro kernels?

The whole operating system is a single executable file that runs in kernel-mode.

• Paper link: https://static.usenix.org/events/osdi08/tech/full_papers/guo/guo.pdf

• Paper link: https://llvm.org/pubs/2008-12-OSDI-KLEE.pdf

• Paper link: https://www.usenix.org/legacy/event/osdi08/tech/full_papers/boyd-wickizer/boyd_wickizer.pdf

• Paper link: https://courses.cs.washington.edu/courses/cse551/15sp/papers/singularity-osr07.pdf

Three key ideas:

• software-isolated processes
• contract-based channels for communication
• manifest-based programs for verification of system properties.

Paper link: https://pdfs.semanticscholar.org/9117/c75f62162b0bcf8e1ab91b7e25e0acc919a8.pdf