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: 9bc622c)
added some vmm stuff
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 28 Feb 2008 00:22:05 +0000 (00:22 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 28 Feb 2008 00:22:05 +0000 (00:22 +0000)
commit72a450936e2da159d5febe1e96475493badd9070
tree6714849a09264581eb8253fc0ef2ee01c1bb9aa0tree | snapshot
parent9bc622ccec8595640868ef6f6f9fb112f5215746commit | diff
added some vmm stuff
palacios/build/Makefile diff | blob | history
Public Palacios Development Repository for the V3VEE Project