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.


formatting fixes
authorJack Lange <jarusl@cs.northwestern.edu>
Sat, 25 Jul 2009 04:30:40 +0000 (23:30 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Sat, 25 Jul 2009 04:30:40 +0000 (23:30 -0500)
commit0160025157d9bc39687eb0c5df6cb3d965d20e07
tree9fda802e955d7ea10551538fce09b4f21c3ce2b0
parent9a1763f7a1449e93d26676b0aaa967a16583e776
formatting fixes
palacios/include/palacios/vmm_hashtable.h
palacios/include/palacios/vmm_sprintf.h
palacios/src/palacios/vmm_sprintf.c
palacios/src/palacios/vmm_string.c