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, 3 May 2011 19:46:42 +0000 (14:46 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 3 May 2011 19:46:42 +0000 (14:46 -0500)
commit759c441577f2a3b1510f341eec122a993fdb7c9f
tree6a2a3008985e05422599b491a531c4f9faaa7b6b
parentdc6c877618496cea23e3350ab56ae30abf5165f4
parent9d406e84682878859284200ae00251d27c53c845
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel
palacios/src/devices/vga.c
palacios/src/palacios/svm.c