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 a global machine type to determine machine architecture
authorJack Lange <jacklange@cs.pitt.edu>
Thu, 27 Oct 2011 23:34:15 +0000 (19:34 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 8 Feb 2012 20:14:17 +0000 (15:14 -0500)
commit59bdbcb4c2f236ceebec83a9e526ca762b7e685d
tree560a39f34a33d217758a4dcbb87bc1ab15d5eb1c
parent3eb79d116ea7c6f48c1575a2b6b58372d0db4eaa
added a global machine type to determine machine architecture
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_checkpoint.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmx.c