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.


Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 12 Apr 2011 14:46:05 +0000 (09:46 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 12 Apr 2011 14:46:05 +0000 (09:46 -0500)
commitac376813b3a6e3fbb21d20418e7fc0c9a15474ac
treec814de5f08c60bfd205afd834b4e6ab3c168287c
parentbd122b946b595ea318215e047aa92082cacc956f
parentf18a2685ac97e9fe4380a6f3c45b89e079084f5b
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel
palacios/src/devices/vga.c