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: 47442ee)
fixed linux_module dependency tracking
authorJack Lange <jacklange@cs.pitt.edu>
Wed, 16 Mar 2011 00:53:29 +0000 (19:53 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 16 Mar 2011 00:53:29 +0000 (19:53 -0500)
commit919535ac285548cf91ae8106cdb19098b6eee934
treef75485c044bb41b8a8581d3bb9d71835dd60d44btree | snapshot
parent47442ee747e733aa5a1e215268b579cc8ebcad58commit | diff
fixed linux_module dependency tracking
Makefile diff | blob | history
Public Palacios Development Repository for the V3VEE Project