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: c06353f)
formatting
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 16 Sep 2008 22:22:27 +0000 (22:22 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 16 Sep 2008 22:22:27 +0000 (22:22 +0000)
commit55779c141376c89f85417dd559a4fd5eba0c297f
tree2638a8d18d2aff1b39dadc4a8c460ba052b0b7d1tree | snapshot
parentc06353fc5bed0f246bca54eff9294ab33c2fd860commit | diff
formatting
palacios/src/devices/keyboard.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project