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.


code clean up
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 22 Jul 2008 22:27:28 +0000 (22:27 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 22 Jul 2008 22:27:28 +0000 (22:27 +0000)
commita1e0475bbefa968791679c5e71232ddca522868b
treedf5ad9f5d9425229db8253e4ba0c74ea681563ae
parente494ee9fb669dc19d1e068077e5d449de622d96e
code clean up
26 files changed:
palacios/build/Makefile
palacios/include/geekos/vm.h
palacios/include/palacios/svm.h
palacios/include/palacios/svm_halt.h
palacios/include/palacios/svm_handler.h
palacios/include/palacios/svm_io.h
palacios/include/palacios/svm_pause.h
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmcb.h
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_dev_mgr.h
palacios/include/palacios/vmm_io.h
palacios/include/palacios/vmm_list.h
palacios/include/palacios/vmm_mem.h
palacios/include/palacios/vmm_shadow_paging.h
palacios/include/palacios/vmm_time.h
palacios/include/palacios/vmm_util.h
palacios/src/geekos/vm.c
palacios/src/geekos/vmm_stubs.c
palacios/src/palacios/svm.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_dev_mgr.c
palacios/src/palacios/vmm_io.c
palacios/src/palacios/vmm_mem.c
palacios/src/palacios/vmm_shadow_paging.c
palacios/src/palacios/vmm_time.c