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: ad729de)
Removed spurious time configuration options
authorPatrick G. Bridges <bridges@cs.unm.edu>
Mon, 9 Apr 2012 16:33:38 +0000 (10:33 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Mon, 9 Apr 2012 16:33:38 +0000 (10:33 -0600)
commit9a9b55daa9e3bfd2214f620b9adbba6307dacd11
treef845be4a6ebd3650526da921f9dd71682873ed97tree | snapshot
parentad729dec59181f490d165d9a0a84d1a10539d4a6commit | diff
Removed spurious time configuration options
Kconfig diff | blob | history
palacios/src/extensions/Kconfig diff | blob | history
Public Palacios Development Repository for the V3VEE Project