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.


moved vmx/svm arch maps to global setup
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 15 Jan 2010 02:50:52 +0000 (20:50 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 15 Jan 2010 02:50:52 +0000 (20:50 -0600)
commitea2c3508b25e832976994db6ccedb4be94137e48
tree2c14884ffa1d5c0512c369126855c6940579724d
parent7650d345982514b32fc0f116b8a6512ec243b267
moved vmx/svm arch maps to global setup
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmx.c