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: b0f9eaf)
Includes Phil's patches to the guest build environment document
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 11 Jan 2010 20:18:47 +0000 (14:18 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Mon, 11 Jan 2010 20:18:47 +0000 (14:18 -0600)
commite136664c9a3b9346f3cabef154f4e164362a0d82
treece34b7642555a62505fb6bc9f11a4a75d8f666b8tree | snapshot
parentb0f9eaf6aecdd3d91cfe6220d69b595588820bd0commit | diff
Includes Phil's patches to the guest build environment document
manual/guest_build/Palacios_Guest_Build.tex diff | blob | history
palacios/src/devices/netdisk.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project