ITEC -  Operating Systems Group

Legacy Processor and Device Support for Fully Virtualized Systems

  • Subject:L4Ka
  • Type:Study Thesis
  • Date:04.10.2007
  • Supervisor:

    Prof. Dr. Frank Bellosa, Jan Stoess

  • Graduand: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.

    BibTex:

    @studythesis{schilli07legacyprocessor,
      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 = {http://i30www.ira.uka.de/teaching/theses/pasttheses/}
    }