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.


added boot kitten2
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 22 Oct 2008 01:13:47 +0000 (20:13 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 22 Oct 2008 01:13:47 +0000 (20:13 -0500)
commit269e1697dc66453d0d8b31da5bf27e013856b57d
tree70f3647847fc90becfcc8c322088f8d310baf723
parent85dbf9793951dfd1cc387b5b54284983ab984c1b
added boot kitten2
kitten/boot-kitten2 [new file with mode: 0755]