Dr. Uwe Dannowski

Abstract:

This document describes the design, the functionality, the usage and some implementation details of the new kernel debugger for the L4Ka Hazelnut micro-kernel.

BibTex:

@studythesis{wagner01kerneldebugger,
  author = {Stephan Wagner},
  title = {An Architecture Independent Kernel Debugger for Hazelnut},
  type = {Study Thesis},
  address = {System Architecture Group, University of Karlsruhe, Germany},
  month = sep # "~14",
  year = 2001,
  url = {http://i30www.ira.uka.de/teaching/theses/pasttheses/}
}