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: 276cfa2)
rename fix
authorJack Lange <jacklange@cs.pitt.edu>
Tue, 14 Jun 2011 17:19:07 +0000 (12:19 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Tue, 14 Jun 2011 17:19:07 +0000 (12:19 -0500)
commit747f685ed77e4df26eb9b7b6b32412448852ffec
tree79ff87c83ee7af650286541f088fd997583e29fbtree | snapshot
parent276cfa264720edddc1677e35c6a300596965de7dcommit | diff
rename fix
linux_module/Makefile diff | blob | history
linux_module/palacios-stubs.c [moved from linux_module/os_stubs.c with 100% similarity] blob | history
Public Palacios Development Repository for the V3VEE Project