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 configuation address translation
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 18 May 2010 23:06:27 +0000 (18:06 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 18 May 2010 23:06:27 +0000 (18:06 -0500)
commit1cc3466d1edc53576a1f70fe45b048b219e5c468
treed8ffaf5bdb5a8addfd793c4e283409f1598805ea
parente7f0a91063b9bd6f45de1f02a6cb6c45f7a84ebd
fixed configuation address translation
palacios/src/palacios/vmm_config_class.h