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 clean up changes
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 22 Jul 2008 22:51:39 +0000 (22:51 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 22 Jul 2008 22:51:39 +0000 (22:51 +0000)
commit0e3fe455f4c490dc4c5d9412decf2420b905b3e9
tree9600f895ad4d90b00ba7643bf8e451445cf8d0a1
parent783acda8c0173cb6ad0331ca26c69f7a83b2f377
more clean up changes
palacios/build/Makefile
palacios/include/palacios/vmm_intr.h
palacios/include/palacios/vmm_io.h
palacios/src/palacios/vmm_config.c