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.


*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 11 Apr 2008 21:59:49 +0000 (21:59 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 11 Apr 2008 21:59:49 +0000 (21:59 +0000)
commitdc87c976e1423a304f7d4c8848c85874c58e05b5
treea3dfb9b0d6ea7e192540325f8ca7abaf07448e0d
parent1ca13097c7c85318c400c3811ccbb54ac6c619f1
*** empty log message ***
palacios/include/palacios/vmm_io.h
palacios/src/geekos/vm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/svm_io.c
palacios/src/palacios/vmm_io.c