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: 9fa4d59)
changed the STAR MSR to be mode independent
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 27 Apr 2009 17:33:02 +0000 (12:33 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 27 Apr 2009 17:33:02 +0000 (12:33 -0500)
commitdf88a0e0e54e9f499fbf38b25863bc04c8a37934
treeb542b587a82d84fd224014d714d2acd2b848c51dtree | snapshot
parent9fa4d593b592f3619310332bad6db2222d93679acommit | diff
changed the STAR MSR to be mode independent
palacios/src/palacios/svm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project