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.


Added proper updated quix86 libraries that had been omitted from
authorAlexander Kudryavtsev <alexk@ispras.ru>
Mon, 4 Feb 2013 23:47:33 +0000 (16:47 -0700)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Mon, 4 Feb 2013 23:47:33 +0000 (16:47 -0700)
commit0728ef23f3010448b89add8a796625008ce29b90
tree732f4ed8c080351fadc9b77fa95c826a80ddfc6f
parente9d12cb15dbd08c093c6d3583046335e29e235b4
Added proper updated quix86 libraries that had been omitted from
previous patch.
palacios/lib/i386/libquix86.a
palacios/lib/i386/libquix86_debug.a
palacios/lib/x86_64/libquix86.a
palacios/lib/x86_64/libquix86_debug.a