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.


      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/}