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.


Minor fix on VNET config
authorLei Xia <lxia@northwestern.edu>
Wed, 17 Nov 2010 20:40:02 +0000 (14:40 -0600)
committerLei Xia <lxia@northwestern.edu>
Wed, 17 Nov 2010 20:40:02 +0000 (14:40 -0600)
commit17c6c2cd627aec87b15ffe667d2bc319ab7cf8c7
tree2837a0f313d1e5c99a7b2cd13b0169f68bd463f3
parent107d8f06c7083f58fc96d781efb0226edd82c7d9
Minor fix on VNET config
Kconfig