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: bc5646f)
macro fix
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 15 Feb 2010 20:14:21 +0000 (14:14 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 15 Feb 2010 20:14:21 +0000 (14:14 -0600)
commit79665f03e54cd35513b44f25d5f1ab2d591eba5c
tree5fcb066f137b04b01f40cddc6de38d67189b2186tree | snapshot
parentbc5646fe8335af96f7cd2618b6db095b04c24790commit | diff
macro fix
palacios/src/devices/keyboard.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project