Prof. Dr. Frank Bellosa, Dr. Uwe Dannowski

BibTex:

@studythesis{blattmann06portingpistachio,
  author = {Thomas Blattmann},
  title = {Porting L4Ka::Pistachio to Mips32},
  type = {Study Thesis},
  address = {System Architecture Group, University of Karlsruhe, Germany},
  month = jan # "~31",
  year = 2006,
  url = {http://i30www.ira.uka.de/teaching/theses/pasttheses/}
}