ITEC -  Lehrstuhl Betriebssysteme

Hardware virtualization support for Afterburner/L4

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

    Prof. Dr. Frank Bellosa, Jan Stoess

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