\setuplabframe
{Kernel debugging}
{
  \begin{itemize}
  \item Use the dynamic printk feature.
  \item Add debugfs entries
  \item Load a broken driver and see it crash
  \item Analyze the error information dumped by the kernel.
  \item Disassemble the code and locate the exact C instruction which
    caused the failure.
  \end{itemize}
}
