Thesis Topic Details

Topic ID:
3344
Title:
Virtualized Windows on seL4
Supervisor:
Gernot Heiser
Research Area:
Operating Systems
Associated Staff
Assessor:
Kevin Elphinstone
Topic Details
Status:
Active
Type:
R & D
Programs:
CS CE SE
Group Suitable:
No
Industrial:
No
Pre-requisites:
COMP9242 or outstanding result in COMP3231
Description:
seL4 is routinely used as a hypervisor to run Linux. Its use could be more widespread if it supported running unmodified Windows binaries. However, Windows shows it's DOIS heritage in its boot process, starting off in 16-bit mode. Most hypervisors supporting WIndows therefore contain a big and ugly x86 emulator, which dramatically bloats the trusted computing base.

The aIm of this project is to virtualise Windows without emulation of legacy hardware modes. This can be achieved by booting a Windows system on hardware and taking a dump. On the seL4 system, the virtual-machine monitor then initialises the hardware to get it into the state expected by the a just-booted Windows system. At this stage it should be possible to undump the Windows system and get it running with minimal emulation code in the hypervisor.
Comments:
--
Past Student Reports
 
No Reports Available. Contact the supervisor for more information.

Check out all available reports in the CSE Thesis Report Library.

NOTE: only current CSE students can login to view and select reports to download.