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.


Typo fix
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 3 Aug 2012 18:04:17 +0000 (13:04 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 3 Aug 2012 18:04:17 +0000 (13:04 -0500)
commit30ef014b1f6ced35bedc8fe76dd7933a286e3fd4
tree5ba4e34deefea49f623566023d04dd39fa015d92
parenta80196a40e35de0efc20efb3e9466d348d5fd28c
Typo fix
linux_module/palacios-vnet-brg.c