The Palacios VMM can be embedded into existing OSes, with current support for the Kitten HPC OS from Sandia National Labs and the GeekOS teaching OS from the University of Maryland. A minimalist configuration of GeekOS is included with Palacios. To use Palacios with Kitten, which we recommend for most uses, you will need to download Kitten separately.
To build Palacios, we recommend a standard Linux system with up-to-date gcc compiler and header files. In addition to the standard Linux compilation and development tools, the "syslinux" package is also needed to enable building guest images and bootable ISO images.
To run Palacios, you will need a real or emulated AMD x86/64 system with hardware support for virtualization (SVM); This includes most recent AMD Opteron processors as well as versios 0.9.1 or newer of the QEMU full system simulator. Nested paging support requires an AMD processor with hardware nested paging support, which is currently supported on AMD "Barcelona" or newer systems; on systems without nested paging, Palacios reverts to software shadow paging support.
> cd where-id-like-to-build > tar xzvf downloaded-file-location/palacios.tar.gz > tar xzvf downloaded-file-locaiton/kitten.tar.gz
> make -C palacios/build palacios-full64
> make -C kitten config # or menuconfig (w/ ncurses) or xconfig (w/ X11)
> make -C kitten isoimage
> qemu-system-x86_64 -m 1024 -cdrom kitten/arch/x86_64/boot/image.iso