ITEC -  Lehrstuhl Betriebssysteme

Legacy Processor and Device Support for Fully Virtualized Systems

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

    Prof. Dr. Frank Bellosa, Jan Stoess

  • Bearbeiter:Michael Schilli
  • Links:PDF
  • Abstract: 

    With recent processor extensions the IA-32 architecture became effectively virtualizable. The L4 microkernel already provides the necessary extensions to support Intel's VT-x technology and the Afterburner framework was recently extended to introduce a user level monitor on top of L4. This work proposes two extensions to the existing framework to support legacy processor and devices in a fully virtualized system. The resulting implementation will provide a fully 16-bit compatible execution environment and will allow guest operating systems access to an existing hard disk drive.


      author = {Michael Schilli},
      title = {Legacy Processor and Device Support for Fully Virtualized Systems},
      type = {Study Thesis},
      address = {System Architecture Group, University of Karlsruhe, Germany},
      month = oct # "~4",
      year = 2007,
      url = {}