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.


source code clean up,
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 22 Jul 2008 20:34:51 +0000 (20:34 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 22 Jul 2008 20:34:51 +0000 (20:34 +0000)
commitbc2c46a12649344d973e2201271c05390ce924bf
tree1e14c3d73c3602aa2d56a0906019b82d44add8de
parent702150ed1fe2151f0fcaa111998f09aa461aaf8e
source code clean up,

more explicit interfaces
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_dev_mgr.h
palacios/include/palacios/vmm_intr.h
palacios/include/palacios/vmm_io.h
palacios/src/geekos/vm.c
palacios/src/palacios/svm_io.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_dev_mgr.c
palacios/src/palacios/vmm_intr.c
palacios/src/palacios/vmm_io.c
palacios/src/palacios/vmm_shadow_paging.c