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: 0649e72)
change video to default to "n"
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 17 Aug 2009 22:10:25 +0000 (17:10 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 17 Aug 2009 22:10:25 +0000 (17:10 -0500)
commitd5155cf0f10a4856ba87e11048f2fb802c87947b
treee06c8473ceae03b411f8a8ac73b95f3898433855tree | snapshot
parent0649e72ef137b3c308569dd81e9d4b0ff9eec871commit | diff
change video to default to "n"
palacios/src/devices/Kconfig diff | blob | history
Public Palacios Development Repository for the V3VEE Project