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 yield functionality
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 7 Aug 2009 22:15:37 +0000 (17:15 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 11 Aug 2009 21:13:10 +0000 (16:13 -0500)
commit9019b8dedfa7de9da84c55bc488a60a784231899
tree68f8a541f67203d0fb929bfe2fac124d9cb61758
parent4eb8163fe76127f9748caa43f8ffad1e4d739bb8
added yield functionality
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm.h
palacios/src/palacios/svm.c
palacios/src/palacios/svm_halt.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_config.c