An Architecture Independent Kernel Debugger for Hazelnut

  • Subject:L4Ka
  • Type:Seminar paper
  • Date:14.09.2001
  • Supervisor:

    Dr. Uwe Dannowski

  • Graduand:Stephan Wagner
  • Links:PDF
  • 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/}
    }