CS695 Topics in Virtualization and Cloud Computing
Spring 2024-25

References                                 home                 downloads

  • xv6, a simple Unix-like teaching operating system       xv6 book       source code booklet

  • [ostep] Operating Systems: Three Easy Pieces, by Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau

  • [vmbook] Virtual Machines: Versatile Platforms for Systems and Processes, James E. Smith, Ravi Nair.

  • Linux Kernel Programming: A comprehensive and practical guide to kernel internals, writing modules, and kernel synchronization (2nd edition), Kaiwan N. Billimoria (kernel 6.1)

  • Linux Kernel Development, Robert Love

  • Linux Device Drivers (3rd edition), Jonathan Corbet, Alessandro Rubini, and Greg Kroah-Hartman

  • Understanding the Linux Kernel, Daniel P. Bovet and Marco Cesati

  • Professional Linux Kernel Architecture, Wolfgang Mauerer

  • Operating System Concepts, by Silberschatz, Galvin and Gagne

  • Think OS A Brief Introduction to Operating Systems, by Allen B. Downey