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: 8ee3149)
*** empty log message ***
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 16 Jul 2008 00:17:41 +0000 (00:17 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 16 Jul 2008 00:17:41 +0000 (00:17 +0000)
commit6a526b07791595d4cb052359672bcf21703ff9a4
tree41658785af9212bab457f02838b0eee188b0267atree | snapshot
parent8ee31494ea28d1756689574fb69791746daac3f3commit | diff
*** empty log message ***
palacios/src/devices/keyboard.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project