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: 52e3c4e)
Added networking section to manual
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 3 Mar 2009 02:31:47 +0000 (20:31 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 3 Mar 2009 02:31:47 +0000 (20:31 -0600)
commitb65297c305017bb77bdbc6d056702df0565673ad
treedcfe3a93109ffd8a67b649c3d110b4ac3bb068e6tree | snapshot
parent52e3c4e629c61e1273c2f48423f6b9c0c1365c85commit | diff
Added networking section to manual
manual/manual.tex diff | blob | history
palacios/src/palacios/vmm_socket.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project