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.


Minor fix on vnet
authorLei Xia <lxia@northwestern.edu>
Tue, 12 Jan 2010 04:30:07 +0000 (22:30 -0600)
committerLei Xia <lxia@northwestern.edu>
Tue, 12 Jan 2010 04:30:07 +0000 (22:30 -0600)
commit30409ee6691f594c5d8b0a2be0769d163d4c7c1a
tree4ac0b1ea83936dbaa3dd49c8b5395272e9a15273
parentec01e0d8a7a3debd92ce2787a9d8bfd15d38df04
Minor fix on vnet
palacios/include/palacios/vmm_vnet.h
palacios/src/palacios/vmm_vnet.c