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.


changed debug output to be more granular
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 21 Jul 2008 21:07:58 +0000 (21:07 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 21 Jul 2008 21:07:58 +0000 (21:07 +0000)
commitcbf35ad72de3a7a1f6eee3e8b2b35d7f31df22a5
tree6edaf93f42a79aa4e1c1da2536b84ae5c6d260de
parentf7cc83b3bae64c853f5b7b63e2830b1ea92dfed9
changed debug output to be more granular
palacios/build/Makefile
palacios/include/palacios/vmm.h
palacios/src/devices/nvram.c
palacios/src/geekos/vm.c
palacios/src/geekos/vmm_stubs.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/svm_io.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_intr.c
palacios/src/palacios/vmm_io.c
palacios/src/palacios/vmm_shadow_paging.c