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: 2e0992e)
Minor vga tweak
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 3 May 2011 19:46:03 +0000 (14:46 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 3 May 2011 19:46:03 +0000 (14:46 -0500)
commitd487408d53568cb5a5f85c4f0d1cc92992c3fe62
treea62f02f320496fd038724208256ddecfbbee625dtree | snapshot
parent2e0992e07d6aebe06bab827f2534c074b9d7bb9ecommit | diff
Minor vga tweak
palacios/src/devices/vga.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project