Home | deutsch  | Legals | KIT

An Architecture Independent Kernel Debugger for Hazelnut

An Architecture Independent Kernel Debugger for Hazelnut
Subject:L4Ka
Type:Studienarbeit
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/}
}