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: b436319)
removed vgabios copy
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 22 Sep 2008 19:16:47 +0000 (14:16 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 22 Sep 2008 19:16:47 +0000 (14:16 -0500)
commit7e45206e4fd717b11b6f7947caa73504db62fffd
treefc309ae9a9027aac4de527a01ad8e9e5145909cdtree | snapshot
parentb436319be17f8a078caeadb740b413bf82399d44commit | diff
removed vgabios copy
palacios/build/vgabios [deleted symlink] blob | history
Public Palacios Development Repository for the V3VEE Project