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: ba66d99)
Do not make oldconfig when building kitten
authorTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Wed, 22 Oct 2008 14:16:28 +0000 (09:16 -0500)
committerTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Wed, 22 Oct 2008 14:16:28 +0000 (09:16 -0500)
commit50eae0d57a38dcfffc396e2dc08694cc26454b8e
treecbe1202caa2abeab6560c39111a971d866ed39d7tree | snapshot
parentba66d9929cb404507160b86b932b8f00ec31fae7commit | diff
Do not make oldconfig when building kitten
build/Makefile diff | blob | history
Public Palacios Development Repository for the V3VEE Project