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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 3848474)
added event hooking framework
authorJack Lange <jacklange@cs.pitt.edu>
Thu, 26 Jul 2012 20:36:25 +0000 (16:36 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 27 Jul 2012 18:44:23 +0000 (14:44 -0400)
commite8069ad305c7b50fefb0cc602d9ca53324e6cc9e
treec4b093ca9a44b1039863ad3cbd2a3ac2ecd54bfftree | snapshot
parent3848474666fa030031e14b9fdea4caf886e034cacommit | diff
added event hooking framework
palacios/include/palacios/vm_guest.h diff | blob | history
palacios/include/palacios/vmm_events.h [new file with mode: 0644] blob
palacios/src/palacios/Makefile diff | blob | history
palacios/src/palacios/svm.c diff | blob | history
palacios/src/palacios/vm_guest.c diff | blob | history
palacios/src/palacios/vmm_events.c [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project