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.


added barrier synchronization and integrated it with pause/continue functionality
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 29 Jul 2011 22:57:39 +0000 (18:57 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Sat, 30 Jul 2011 00:46:02 +0000 (20:46 -0400)
commit9a9c14099c09e9ed86d8ac2f73f7406d0ac8a90b
treec0b4fc02a59d9c5d771c03619495098c71bb5d89
parent7b67d47d87463b237db5ad43941742c5a5d4b0bf
added barrier synchronization and integrated it with pause/continue functionality
14 files changed:
linux_module/palacios.h
linux_module/vm.c
linux_usr/Makefile
linux_usr/v3_net.c [deleted file]
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_barrier.h
palacios/include/palacios/vmm_bitmap.h [new file with mode: 0644]
palacios/src/palacios/Makefile
palacios/src/palacios/svm.c
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_barrier.c
palacios/src/palacios/vmm_bitmap.c [new file with mode: 0644]