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: 9eabc12)
moved atomic interrupt handling past state save
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Nov 2009 20:53:04 +0000 (14:53 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Nov 2009 20:53:04 +0000 (14:53 -0600)
commit9a2cb919a10e02ddaa418560854ef72c2081070d
tree99ed180b2bee02d2b5764740a9464bc54f19c2d5tree | snapshot
parent9eabc1235b1288295a9958ce0af61e6edb329337commit | diff
moved atomic interrupt handling past state save
palacios/src/palacios/svm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project