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.


fix to svm outs default segment register bug
authorErik van der Kouwe <erikvdk@gmail.com>
Thu, 5 Aug 2010 23:51:01 +0000 (18:51 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 5 Aug 2010 23:51:01 +0000 (18:51 -0500)
commit266bac14d37ab64d943caf89a6eb59a4781a346a
tree545d04307b43cabc986ef7adc060777837ec1a9f
parentfc423a5a59fba0b24c90167dd48234f1fe6ec6cc
fix to svm outs default segment register bug
palacios/src/palacios/svm_io.c