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: 028d9b7)
*** empty log message ***
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 23 May 2008 02:16:20 +0000 (02:16 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 23 May 2008 02:16:20 +0000 (02:16 +0000)
commit1610994b51177352af2e8f7c326d968d8974632a
tree5f8193d65a78403df0e946bab7309799cc164dfetree | snapshot
parent028d9b71d4a4e6d49a22ad5904b6dd2f8c596a26commit | diff
*** empty log message ***
palacios/src/devices/generic.c diff | blob | history
palacios/src/devices/keyboard.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project