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.


Fix to the interface header files include
authorLei Xia <lxia@northwestern.edu>
Wed, 13 Apr 2011 16:48:09 +0000 (11:48 -0500)
committerLei Xia <lxia@northwestern.edu>
Wed, 13 Apr 2011 16:48:09 +0000 (11:48 -0500)
commit3aa43c8aeb9750675238aa33db37c771d815a706
treec318250968c01cf246495ee21181b3b4d40ef012
parent16047acf61f82cb4ae33bcb84b221c2098215172
Fix to the interface header files include
palacios/src/interfaces/vmm_packet.c