Palacios is a "type I", non-paravirtualized,
OS-independent VMM that builds on the virtualization
extensions in modern x86 processors, particularly AMD
SVM and Intel VT. Palacios can be embedded into
existing kernels, including very small kernels. Thus far,
Palacios has been embedded into the Kitten lightweight
kernel from Sandia National Labs and the University of
Maryland's GeekOS teaching kernel. Currently, Palacios
can run on emulated PC hardware, commodity PC hardware,
and Cray XT3/4 machines such as Sandia's Red Storm.
Palacios is part of the V3VEE Project.
You can access our public git repository to see an up-to-the-minute view of development and to contribute.
Download the latest released version of Palacios (1.2 - January 28, 2010)
Older released versions are available here
Documentation
News
Get Involved
We are continuously looking for people to become engaged in this project. There are numerous ways to do so:
Project Resources
Papers
Acknowledgments
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 (ORNL) on grant DE-AC05-00OR22725. Jack Lange is partially supported
by a Symantec Research Labs Fellowship.
|