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.
More minor updates for handling time. Virtually slower CPUs seem to be working, so that in a core, you can specify khz="1000000" and the VMM will slow down that particular core by yielding the CPU back to the host when necessary. Still need to test/debug on real hardware as opposed to QEMU.