@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
@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,