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: cbf36cf)
add debug configure option for virtual serial
authorLei Xia <lxia@northwestern.edu>
Thu, 18 Aug 2011 03:03:10 +0000 (22:03 -0500)
committerLei Xia <lxia@northwestern.edu>
Thu, 18 Aug 2011 03:03:10 +0000 (22:03 -0500)
commit0d59908c92e599d6061db7ebba75f2f0d87fef63
tree8737c412a9602703d4d25ea54eab6f7f5dbc103dtree | snapshot
parentcbf36cf51a895acc4dc7242ae9ec483b363d26d6commit | diff
add debug configure option for virtual serial
palacios/src/devices/Kconfig diff | blob | history
Public Palacios Development Repository for the V3VEE Project