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: a0d3be5)
keyboard buf fixes
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 22 Nov 2010 05:45:34 +0000 (23:45 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 22 Nov 2010 05:45:34 +0000 (23:45 -0600)
commit3b250574aa0961aea7cc3ac3ca65f3e76672b977
tree6abd1f0064a7d1da4c1b55f96fe15fd016eb4324tree | snapshot
parenta0d3be5212e7a5053ba213ce7bd26c7124cf01e3commit | diff
keyboard buf fixes
palacios/src/devices/keyboard.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project