Home | deutsch  | Legals | KIT

Hardware virtualization support for Afterburner/L4

Hardware virtualization support for Afterburner/L4
Subject:L4Ka
Type:Study Thesis
Date:04.05.2007
Supervisor:

Prof. Dr. Frank Bellosa, Jan Stoess

Graduand:Martin Bäuml
Links:PDF

Abstract:

Full virtualization of the IA32 architecture can be achieved using hardware support. The L4 microkernel has been extended with mechanisms to leverage Intel's VT-x technology. This work proposes a user level virtual machine monitor that complements L4's virtualization extensions and realizes microkernel-based full virtualization of arbitrary operating systems. A prototype implementation within the Afterburner framework demonstrates the approach by successfully booting a current Linux kernel.

BibTex:

@studythesis{baeuml07fullvirtualizationafterburner,
  author = {Martin Baeuml},
  title = {Hardware virtualization support for Afterburner/L4},
  type = {Study Thesis},
  address = {System Architecture Group, University of Karlsruhe, Germany},
  month = may # "~4",
  year = 2007,
  url = {http://i30www.ira.uka.de/teaching/theses/pasttheses/}
}