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: 2b77711)
path fixes
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 15 Apr 2011 21:10:30 +0000 (16:10 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 15 Apr 2011 21:10:30 +0000 (16:10 -0500)
commit24900b865a7a10496a5ddadb7613567054138f48
treefe5639da6e6f4711648173a2e1ffca0cafdbc624tree | snapshot
parent2b7771187ba9ede27c32dd7bd78743bcd9d299d9commit | diff
path fixes
linux_module/palacios-debugfs.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project