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.


Add lock to vnet
authorLei Xia <lxia@northwestern.edu>
Tue, 23 Feb 2010 05:05:36 +0000 (23:05 -0600)
committerLei Xia <lxia@northwestern.edu>
Tue, 23 Feb 2010 05:05:36 +0000 (23:05 -0600)
commit610d3af422ae2f0eb43d156984bf5d56d3352e46
tree8387cd9771d60089717e88e9d0bbb0f3b204f5c5
parenta3b94e316c5aca87f1ea9bb824c2e10833db6da7
Add lock to vnet
palacios/src/devices/lnx_virtio_nic.c
palacios/src/palacios/vmm_vnet.c