Use standard POSIX "ustar" format for the scratch disk.
[pintos-anon] / doc / bibliography.texi
index 76007f08a56f0e424320bfb08883af0c29681f1a..e998a075a0537787d3dbbc42570667a84b86541e 100644 (file)
@@ -67,6 +67,10 @@ Datasheet for PC timer chip.
 @uref{specs/8259A.pdf, , Intel 8259A Programmable Interrupt Controller
 (8259A/8259A-2)}.  Datasheet for PC interrupt controller chip.
 
+@bibdfn{MC146818A}
+@uref{specs/mc146818a.pdf, , Motorola MC146818A Real Time Clock Plus
+Ram (RTC)}.  Datasheet for PC real-time clock chip.
+
 @node Software References
 @section Software References
 
@@ -102,9 +106,19 @@ Edition}.  80@var{x}86-specific parts of the Unix interface.
 Interface---DRAFT---24 April 2001}.  A draft of a revised version of
 @bibref{SysV-ABI} which was never completed.
 
+@bibdfn{SUSv3}
+The Open Group, @uref{http://www.unix.org/single_unix_specification/,
+, Single UNIX Specification V3}, 2001.
+
 @node Operating System Design References
 @section Operating System Design References
 
+@bibdfn{Christopher}
+W.@: A.@: Christopher, S.@: J.@: Procter, T.@: E.@: Anderson,
+@cite{The Nachos instructional operating system}.
+Proceedings of the @acronym{USENIX} Winter 1993 Conference.
+@uref{http://portal.acm.org/citation.cfm?id=1267307}.
+
 @bibdfn{Dijkstra}
 E.@: W.@: Dijkstra, @cite{The structure of the ``THE''
 multiprogramming system}.  Communications of the ACM 11(5):341--346,