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.


added address width calculations
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 25 Feb 2009 23:15:43 +0000 (17:15 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 25 Feb 2009 23:15:43 +0000 (17:15 -0600)
commit97cd5fe64c098b917e5519d30fd54c4b4e338b1c
treeec3f5e619045f3b2f9d0cf5165db1c3a6b4562c2
parentf2c389745faae8bbd6e16b60baa59c01e735949f
added address width calculations
palacios/include/palacios/vm_guest.h
palacios/src/palacios/vm_guest.c