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: 472dec2)
*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 30 May 2008 20:34:57 +0000 (20:34 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 30 May 2008 20:34:57 +0000 (20:34 +0000)
commitfc2252168f3a41d874a2c97282deda1d8c3065f2
treebf583256916aec6444028103786f3627d0598fddtree | snapshot
parent472dec28ebae078e8bf90ff48d1693c1ef8a7b85commit | diff
*** empty log message ***
palacios/build/vgabios [new file with mode: 0644] blob
palacios/build/vm_kernel [new file with mode: 0755] blob
Public Palacios Development Repository for the V3VEE Project