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.


KBuild fixes to set defaults for Kitten
authorJack Lange <jarusl@cs.northwestern.edu>
Sun, 31 Jan 2010 00:09:05 +0000 (18:09 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Sun, 31 Jan 2010 00:09:05 +0000 (18:09 -0600)
commitb6009b57bf04b714693cd2f0c5e1b4dd59281253
tree3e75ad5f6c4d1ac0b866989a12b7680fb04eced2
parente4bc6022970d0f8252e1f2ac512f7d977b40e51b
KBuild fixes to set defaults for Kitten
Kconfig