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.


reverted host_cpu_id changes because it broke multicore functionality
authorJack Lange <jacklange@cs.pitt.edu>
Tue, 1 Mar 2011 18:35:57 +0000 (12:35 -0600)
committerJack Lange <jacklange@cs.pitt.edu>
Tue, 1 Mar 2011 18:35:57 +0000 (12:35 -0600)
commit95c3bb063747b4d70a24464d3d67e9c16799d9f9
tree06ac129e4f90afee39400c0e4a8b198d3c88837d
parentbba68c448a941e0beb562f670f1a5901e5d07a54
reverted host_cpu_id changes because it broke multicore functionality
palacios/include/palacios/vm_guest.h
palacios/src/palacios/svm.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_symbiotic.c