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.

Debugging

System design

Singularity

Three key ideas:

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

Memory Management

Author: expye(Zihao Ye)

Email: expye@outlook.com

Date:

Last modified: 2021-02-19 Fri 21:14

Licensed under CC BY-NC 4.0