OS resources/notes
    A collection of resources/notes for CSE 451: Operating Systems

  • xk6 overview: xk is a simple monolithic operating system designed for teaching principles of operating systems. This just gives an overview of the basic implementation details, including virtual memory, context switching, and file system. Lots of code details.

  • Overview of QEMU: QEMU is an emulator/virtual machine that can simulate x86-64 environment. Useful for running/testing OS virtually.

  • Intel sysenter for quick system calls: A quick overview of using sysenter to trap into the kernel.

  • x86-64 page table format

  • basic global descriptor table setup: minimal setup of global descriptor table if only paging will be used for memory protection:

  • list of full POSIX system calls: also see man pages

  • list of exception codes

  • list of page fault error codes

  • OS class textbook