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 per core flags to guest structure
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 4 Aug 2010 23:26:55 +0000 (18:26 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 4 Aug 2010 23:26:55 +0000 (18:26 -0500)
commit85e86b3089abbc75a0834c361d082861fabb6335
tree645189e41b6c2411142dfa146ebd22d645e871b6
parent293c0868149e908271dd349248ca67cd53930e7d
added per core flags to guest structure
currently large page support is the only enabled flag...
palacios/include/palacios/vm_guest.h