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.


removed reparent callback
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 8 Nov 2010 19:52:03 +0000 (13:52 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 8 Nov 2010 19:52:03 +0000 (13:52 -0600)
commitc14fd53d3a309c07116138ddff54bfb990e4d620
tree581036f17b65a1e4ca87ae13edbf63fe82655a7c
parent4071a0ced0f209760c73e505c1634512abf29728
removed reparent callback
palacios/include/palacios/vmm.h