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 update to vnet
authorLei Xia <lxia@northwestern.edu>
Mon, 22 Feb 2010 21:10:09 +0000 (15:10 -0600)
committerLei Xia <lxia@northwestern.edu>
Mon, 22 Feb 2010 21:10:09 +0000 (15:10 -0600)
commita3b94e316c5aca87f1ea9bb824c2e10833db6da7
treea686427175e79e9f7b16b59b646b96584c75f1bf
parent27b1aab6a0b0f909e8cea27656dbfa05d0335e94
Minor update to vnet
palacios/include/palacios/vmm_vnet.h
palacios/src/devices/lnx_virtio_vnet.c