Tools

• CScope

  Terminal-based source code browser.

Links

• ACM SIGOPS

  ACM Special Interest Group on Operating Systems

• Secure Virtual Architecture

  Secure Virtual Architecture enforces security properties on commodity operating system kernel code. The source code release includes KCoFI (which enforce control-flow integrity on kernel code) and Virtual Ghost (which protects applications from a compromise operating system kernel).

• Plan 9 Operating System

  Plan 9 is an operating system from Bell Labs that attempts to improve upon the Unix philosophy.

• Singularity

  Singularity is a research operating system from Microsoft Research that is written in a type-safe language. Note the small link that takes one to the URL for downloading Singularity.

• Intel Architecture Reference Manual

  This manual describes the Intel 32- and 64-bit architecture in detail.

Menu