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: 27eb2f3)
removed redundant FILE option
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 6 Oct 2010 17:35:10 +0000 (12:35 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 6 Oct 2010 17:35:10 +0000 (12:35 -0500)
commit4302c7fffd55be5e719c003a3f8ff519d59e9962
tree4a87294a29ea052bfb190507ec4a6bb3ddb6fcd1tree | snapshot
parent27eb2f39dd8e616c48f115c67ecca22f1c799b23commit | diff
removed redundant FILE option

Conflicts:

Kconfig
Kconfig diff | blob | history
Public Palacios Development Repository for the V3VEE Project