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 configurable host OS thread support
authorJack Lange <jarusl@cs.northwestern.edu>
Sun, 7 Nov 2010 18:18:42 +0000 (12:18 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Sun, 7 Nov 2010 18:18:42 +0000 (12:18 -0600)
commit07a12ade201ee7c2fe2358084ca079d2facac500
tree4642c9727e4b3844e3988680e237339ddfe53b52
parent53a87a14f98c8f77b252f19d08a7c701b04730ed
added configurable host OS thread support
palacios/include/palacios/vmm.h
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_config.c