You should be able to build Kitten, Palacios, and a default Linux guest image as easily as: [download and untar both palacios-1.2.tgz and kitten-1.2.0.tgz] http://v3vee.org/download http://software.sandia.gov/trac/kitten cd palacios-1.2 make xconfig (save default configuration) make cd ../kitten-1.2.0 make xconfig (turn on virtualization, then save configuration) make isoimage then you can run it using qemu with a command like: qemu-system-x86_64 -smp 1 -m 2047 -serial file:./serial.out \ -cdrom arch/x86_64/boot/image.iso & tail -f serial.out