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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 062b88a)
Delete outdated vnet files in devices/
authorLei Xia <lxia@northwestern.edu>
Tue, 26 Jan 2010 22:08:31 +0000 (16:08 -0600)
committerLei Xia <lxia@northwestern.edu>
Tue, 26 Jan 2010 22:08:31 +0000 (16:08 -0600)
commit0351e0cd3603086bf45b90c030d8657410cf461e
treee74b1a559382aac5734ed6d3b4a61bc4d163ef9atree | snapshot
parent062b88a9cfd1a538782ebcd67c65f59a1a5a8d56commit | diff
Delete outdated vnet files in devices/
palacios/include/devices/vnet.h [deleted file] blob | history
palacios/src/devices/vnet.c [deleted file] blob | history
Public Palacios Development Repository for the V3VEE Project