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: 3d65d36)
fix GEARS code inject dependency
authorKyle Hale <kh@u.northwestern.edu>
Tue, 8 Oct 2013 21:20:45 +0000 (16:20 -0500)
committerroot <root@v-test-r415-3.localdomain>
Thu, 10 Oct 2013 20:29:45 +0000 (15:29 -0500)
commit72eba5b17b1d31da5cb3973b4a5b55837f188055
tree68841946ae9a8ed1c3d74ca568e5f6509fdcdce7tree | snapshot
parent3d65d36e41c21aa44e6f2549604cc4a4ee3320c5commit | diff
fix GEARS code inject dependency
palacios/src/gears/Kconfig diff | blob | history
palacios/src/gears/Makefile diff | blob | history
Public Palacios Development Repository for the V3VEE Project