%
% x-kernel v3.3
%
% Copyright (c) 1996,1993,1991,1990  Arizona Board of Regents
%

\documentstyle[times,fcanon,html]{article}

%\setcounter{tocdepth}{5}
\makeindex

\begin{document}

\bibliographystyle{abbrv}

\newcommand{\xk}{{\it x}-kernel}
\newcommand{\var}{\sf}
\begin{htmlonly}
  %these overwrite the above definitions when running latex2html:
  \newcommand{\var}{\tt}
  \newcommand{\xk}{x-kernel}
\end{htmlonly}

\title{{\it x}-kernel Programmer's Manual \\ {\rm (Version 3.3)}}
\author{\\ Network Systems Research Group}
\date{June 1997}
\maketitle{}

\begin{center}
{\bf\Large Abstract}
\end{center}
\begin{quote}
\input abstract
\end{quote}

\renewcommand{\baselinestretch}{1}
\setlength{\tolerance}{1000}
\small\normalsize

% the following are required for the appendices
\newcommand{\topic}[1]{\vspace{3.5ex}\noindent{\large\bf #1}\\}
%\newcommand{\protspec}[2]{\subsection{#1}\topic{NAME} #2}

\newpage
\tableofcontents

\newpage{}
\input intro
\newpage{}
\input upi
\newpage{}
\input message
\newpage{}
\input participant
\newpage{}
\input event
\newpage{}
\input map
\newpage{}
\input thread
\newpage{}
\input trace
\newpage{}
\input datatrace
\newpage{}
\input utilities
\newpage{}
\input control
\newpage{}
\input configuring
\newpage{}
\input running
\newpage{}
\input releasing

\newpage{}
\bibliography{manual}

\sloppy
\appendix

\newpage{}
\input prots
\newpage{}
\input drivers

\newpage{}
\input manual.ind

\end{document}