Palacios Public Git Repository
To checkout Palacios execute
git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the
devel branch or one of the release branches. To switch to the devel
branch, simply execute
cd palacios
git checkout --track -b devel origin/devel
The other branches are similar.
Ported user space support for host devices, user space host device example, and vnc interface to graphics console from the monolithic version.
Note: the addition of x0vncserver as a binary is by intent. Crufty to add as source right now