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.


fixed format string issues due to printf attribute checks
authorJack Lange <jarusl@cs.northwestern.edu>
Sun, 26 Oct 2008 01:18:07 +0000 (20:18 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Sun, 26 Oct 2008 01:18:07 +0000 (20:18 -0500)
commit03a41b18bdb6ce4bf666f18acdaf302e2360efdc
tree42e4587963f79f3704f17e3e3616044d5bf77d57
parent32694d99c15e00731a240e0fccea252e08bf5ada
fixed format string issues due to printf attribute checks
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_decoder.h
palacios/src/palacios/svm_handler.c
palacios/src/palacios/svm_io.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_dev_mgr.c
palacios/src/palacios/vmm_emulator.c
palacios/src/palacios/vmm_shadow_paging.c