An Introduction to thePalacios Virtual Machine Monitor—Version 1.0
Jack Lange Peter DindaDecember 4, 2008
Palaciosistheﬁrstvirtualmachinemonitor(VMM)fromtheV3VEEProjecttobereleasedforpublicuse as community resource. Palacios is a “type-I”, non-paravirtualized VMM that makes extensive useof the virtualization extensions in modern x86 processors, such as AMD SVM and Intel VT. It consists of
KLOC of C and assembly written at Northwestern University. This document describes the overallstructure of Palacios and how it works. It also explains how to download Palacios, develop within it, andextend it.
This project is made possible by support from the National Science Foundation (NSF) via grants CNS-0709168, CNS-0707365,and the Department of Energy (DOE) via a subcontract from Oak Ridge National Laboratory on grant DE-AC05-00OR22725.Sandia National Laboratory has also provided assistance. Jack Lange was partially supported by a Symantec Research LabsFellowship.