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 all the printf style warnings/errors
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 22 Oct 2008 16:08:53 +0000 (11:08 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 22 Oct 2008 16:08:53 +0000 (11:08 -0500)
commit8c767ddb04d3ac42d080d9f9f5f40196d6f8f217
tree174c65480ab38589012ea0a94d2ceb1997089377
parent9881f0e9f9327b8acdab8d119c2c7c4274ee69b9
fixed all the printf style warnings/errors
13 files changed:
palacios/src/devices/serial.c
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vm_guest_mem.c
palacios/src/palacios/vmcb.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_debug.c
palacios/src/palacios/vmm_intr.c
palacios/src/palacios/vmm_mem.c
palacios/src/palacios/vmm_paging.c
palacios/src/palacios/vmm_shadow_paging.c
palacios/src/palacios/vmm_util.c