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.


register assignment fix
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 18 Sep 2009 22:42:48 +0000 (17:42 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 18 Sep 2009 22:42:48 +0000 (17:42 -0500)
commited2b3c62f54f46c31ed18a100bb442e1656a3ddd
tree69cab62ce24ca95ab3cf5fa5ecec8fe38a10d261
parent5f9220bcb26dad22a49ae532a460df4c7e2a1001
register assignment fix
palacios/include/palacios/vmm_lowlevel.h