@code{pintos} module. The CVS tree is @emph{not} the authoritative
source for Stanford course materials, which should be obtained from the
course website.
@code{pintos} module. The CVS tree is @emph{not} the authoritative
source for Stanford course materials, which should be obtained from the
course website.