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.


Phils updates to fix xml warnings and telemetry warnings (from devel->Release 1.2)
authorPhil Soltero <psoltero@cs.umn.edu>
Wed, 27 Jan 2010 20:24:19 +0000 (14:24 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 27 Jan 2010 20:24:19 +0000 (14:24 -0600)
commite210da1eb30297beaab70e9a0d6f7607044ea558
treed3cb1132c338ee53797089d2ee319243a52e7a53
parente7207dd259484fccd3348602de2e32ca59c6e594
Phils updates to fix xml warnings and telemetry warnings (from devel->Release 1.2)
palacios/src/devices/keyboard.c
palacios/src/palacios/vmm_xml.c