ITEC -  Lehrstuhl Betriebssysteme

An Architecture Independent Kernel Debugger for Hazelnut

  • Forschungsthema:L4Ka
  • Typ:Studienarbeit
  • Datum:14.09.2001
  • Betreuer:

    Dr. Uwe Dannowski

  • Bearbeiter: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/}
    }