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.


remove the reparant_threadd function from host os hooks
authorLei Xia <lxia@northwestern.edu>
Mon, 8 Nov 2010 20:14:24 +0000 (14:14 -0600)
committerLei Xia <lxia@northwestern.edu>
Mon, 8 Nov 2010 20:14:24 +0000 (14:14 -0600)
commit58ea47f1e53d66fae94afb18a314bdfd8862948e
treeb622dba0050eda840a6299aaa680ee721cfc2bdd
parentc866a4f177e15627d31988d5eefa18812bfd5341
remove the reparant_threadd function from host os hooks
palacios/include/palacios/vmm.h