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: d172c2b)
keyboard driver has debug printing enabled
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 14 Jul 2008 17:27:01 +0000 (17:27 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Mon, 14 Jul 2008 17:27:01 +0000 (17:27 +0000)
commite3790ca3f1dc65672c1e82b9d6ab6d66c2ad17aa
tree75d4744c6d85d4ba659cd2293414294b40b12fe2tree | snapshot
parentd172c2b8434d7731d757b9fac20d59f562ff9df0commit | diff
keyboard driver has debug printing enabled
palacios/src/devices/keyboard.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project