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: c34c5f5)
added v3_stop_vm prototype and exported it to the host OS interface
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 5 Nov 2010 21:18:46 +0000 (16:18 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 5 Nov 2010 21:18:46 +0000 (16:18 -0500)
commit506ce8412af316f361b7629a87af6672a87585dd
tree793624ff178c97d006b0ecb32adeded330f167c4tree | snapshot
parentc34c5f5b168274193ef1b766b2054bd3939466d4commit | diff
added v3_stop_vm prototype and exported it to the host OS interface
palacios/include/palacios/vmm.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project