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 extension ports
authorJack Lange <jacklange@cs.pitt.edu>
Wed, 8 Jun 2011 22:08:27 +0000 (17:08 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 8 Jun 2011 22:08:27 +0000 (17:08 -0500)
commitcf1a814109e7cb32b3f328ed5fdc79ccd6a34e17
tree94cae30181048f3928fd728e1ba47d3d7f719730
parent9cf7a82c32a23118057172b1071388f19face739
more extension ports
linux_module/palacios-dev.c
linux_module/palacios-graphics-console.c
linux_module/palacios-graphics-console.h
linux_module/palacios-keyed-stream.c
linux_module/palacios-keyed-stream.h [deleted file]
linux_module/palacios-packet.c
linux_module/palacios-packet.h [deleted file]
linux_module/palacios-vm.c
linux_module/palacios.h