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: 22f1d78)
build system fixes
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 4 May 2010 03:28:27 +0000 (22:28 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 4 May 2010 03:28:27 +0000 (22:28 -0500)
commit2fa62a8319b951b761c235bde156e1eeacce996a
treee6b775535e970b2fb8fd8b3d0e2d63f0eb412165tree | snapshot
parent22f1d78afcf33835e3fa43ea41bb43f80f761a8acommit | diff
build system fixes
Makefile diff | blob | history
modules/Makefile diff | blob | history
modules/null.c [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project