\subsection{Image Builder}
\subsection{SDK}
\section{Adding platform support}
+ \input{adding}
\section{Debugging and debricking}
\subsection{Adding a serial port}
\subsection{JTAG}
+ \section{Reporting bugs}
+ \subsection{Using the Trac ticket system}
+ \input{bugs}
\end{document}