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.


more printf format fixes
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 22 Oct 2008 16:45:01 +0000 (11:45 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 22 Oct 2008 16:45:01 +0000 (11:45 -0500)
commit2ff2b6c0456f332f5dfbaffdf943c07765709173
tree61d46e5766d25c6110d242f8c83156731a5bae03
parentbba3c2474e4c2bffe6b8c34d888700f4793cc7af
more printf format fixes
palacios/src/palacios/svm_handler.c
palacios/src/palacios/svm_io.c
palacios/src/palacios/vmm_intr.c
palacios/src/palacios/vmm_io.c
palacios/src/palacios/vmm_shadow_paging.c