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: 61597ea)
added palacios MACROs
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 21 Aug 2009 20:31:39 +0000 (15:31 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 21 Aug 2009 20:31:39 +0000 (15:31 -0500)
commit2b9b1852a1c754b10f13576358b494fb04fe9940
tree6d8be610f43ba3b811dec64ff4d7371f8458eb3ftree | snapshot
parent61597ea2c5ccace036d8a65e429e32b8f8a7ed4acommit | diff
added palacios MACROs
palacios/include/palacios/vmx_assist.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project