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: cbe9bc8)
removed vmsave/vmload latency measurements to fix i386 build
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 13 Aug 2009 23:33:32 +0000 (18:33 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 13 Aug 2009 23:33:32 +0000 (18:33 -0500)
commit11ae9bb2d18273267d41059a4bd7fb3c28c42abc
treeeee3613d1c003fa14d616be27b1b4934240fc673tree | snapshot
parentcbe9bc8587261deb3aaee94a100594d88bc9765fcommit | diff
removed vmsave/vmload latency measurements to fix i386 build
palacios/src/palacios/svm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project