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 vmm_queue
authorLei Xia <lxia@northwestern.edu>
Mon, 15 Feb 2010 05:33:24 +0000 (23:33 -0600)
committerLei Xia <lxia@northwestern.edu>
Mon, 15 Feb 2010 05:33:24 +0000 (23:33 -0600)
commit68521eca0f94f8c22aa60e762c83e24beec7233c
tree04c29e3dc0cf5e3eac997e8bac22f8d4ec2b1283
parentabccb1c104baffd2bfd901cf8b3ed48b44615dd4
Add lock to vmm_queue
Update VNET and virtio NIC to support multiple guests
palacios/include/palacios/vmm_queue.h
palacios/include/palacios/vmm_vnet.h
palacios/src/devices/lnx_virtio_nic.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_queue.c
palacios/src/palacios/vmm_vnet.c
palacios/src/palacios/vmx_handler.c
utils/guest_creator/default.xml