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: 91ef399)
Restructure device configuration menus to make things clearer -
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 4 Oct 2013 15:16:24 +0000 (10:16 -0500)
committerroot <root@v-test-r415-3.localdomain>
Fri, 4 Oct 2013 15:17:28 +0000 (10:17 -0500)
commita8a10f70da3c173005db21e3c1dcf063f345c24f
treeca07caf00c11f7446bb5500adc8a84e4718dcb4dtree | snapshot
parent91ef3996eacfdaf322afa7c6a4f120b4c3c5bf70commit | diff
Restructure device configuration menus to make things clearer -
we have too many devices to just have a giant list
palacios/src/devices/Kconfig diff | blob | history
Public Palacios Development Repository for the V3VEE Project