After configuring Palacios--remember to save your changes--you can compile it by executing
makeThis will produce the file libv3vee.a in the current directory This static library contains the Palacios VMM and is ready for embedding into an OS, such as Kitten. The library provides the ability to instantiate and run virtual machines. By default, on a 64 bit machine, the library is compiled for 64 bit machines (x86_64), while on a 32 bit machine, it is compiled for 32 bit machines. You can override this using the ARCH=i386 or ARCH=x86_64 arguments to the make, provided you have the relevant tools available. The 64 bit version is what you need for use with Kitten. A 64 bit Palacios can run both 64 and 32 bit guests. Both newskysaw and newbehemoth are 64 bit machines.
The compilation process will also create the utility build_vm (which builds guest images from XML description files), and a very simple guest image called guest_os.img that essentially contains a Linux kernel and BusyBox. The default Kitten configuration will use this guest image.