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 linux changes
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 18 Mar 2011 20:42:33 +0000 (15:42 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 18 Mar 2011 20:42:33 +0000 (15:42 -0500)
commitc79291850ac3605c924a2c5e9617028038bb8f63
treef48ff4c43f15f5ba47cee3d0eea52577e5d7e82a
parent4801e692b7344051eb94fff6faf1be53f621d422
more linux changes
Makefile
linux_module/palacios-dev.c
linux_module/palacios-file.c
linux_module/palacios-file.h
linux_module/palacios-mm.c
linux_module/palacios-mm.h
linux_module/palacios-stream.c
linux_module/palacios-stream.h
linux_module/palacios-vm.c
linux_module/palacios.h