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 the host_private_data assignment to earlier in the configuration phase to make...
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 15 Nov 2010 19:49:29 +0000 (13:49 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 15 Nov 2010 19:49:29 +0000 (13:49 -0600)
commit0acab7cc621777394096377d6412e7f796e41769
treedb52b6ba4029b9a3967b1dd46b4b1564e661cb8f
parent97f4e32a34233946b20aa61521723a07df4db1a8
moved the host_private_data assignment to earlier in the configuration phase to make sure its available to initialization function
palacios/include/palacios/vmm_config.h
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_config.c