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.


fixed lowlevel svm save/restore register macro
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 11 Aug 2009 21:08:51 +0000 (16:08 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 11 Aug 2009 21:08:51 +0000 (16:08 -0500)
commit1df1d51642fd023684326023459da17765b428ce
treeffb2a8c62cab1614cb38cf309b0b411bb586f5ee
parent52a58bb7bdf06ca22ad6883f8095f8aa5ca4b8a4
fixed lowlevel svm save/restore register macro
palacios/src/palacios/svm_lowlevel.S